[Chapel Merge] "Param narrowing conversion" in the spec - clarification

Branch: refs/heads/main
Revision: fd0f741c73ccc4ce23b0860bf62cf49cc8645186
Author: vasslitvinov
Link: "Param narrowing conversion" in the spec - clarification by vasslitvinov · Pull Request #25612 · chapel-lang/chapel · GitHub
Log Message:
"Param narrowing conversion" in the spec - clarification (#25612)

This change clarifies the spec's definition of "param narrowing conversion."

Inspired by my confusion expressed in
Implicit Generic Parameter Conversion - Odd Error Message - #4 by vass

and Michael's clarification in the "details" section of
Misleading Warning with Generic Arguments · Issue #25604 · chapel-lang/chapel · GitHub

r: @mppf

Compare: Comparing b0df85fb02c1f4185ea1330062957f73a96b3e3b...eea21c75420def52311c48dd56a1ad7d451e156b · chapel-lang/chapel · GitHub

Diff:
M doc/rst/language/spec/procedures.rst
https://github.com/chapel-lang/chapel/pull/25612.diff