@@ -279,7 +279,7 @@ select "string"
279279category if any candidate accepts that category (this bias towards string
280280is appropriate since an unknown-type literal does look like a string).
281281Otherwise, if all the remaining candidates accept the same type category,
282- select that category; otherwiseraise an error because
282+ select that category; otherwisefail because
283283the correct choice cannot be deduced without more clues. Also note whether
284284any of the candidates accept a preferred datatype within the selected category.
285285Now discard operator candidates that do not accept the selected type category;
@@ -292,7 +292,7 @@ argument.
292292<para>
293293If only one candidate remains, use it. If no candidate or more than one
294294candidate remains,
295- thenraise an error .
295+ thenfail .
296296</para>
297297</step>
298298</substeps>
@@ -488,7 +488,7 @@ select "string"
488488category if any candidate accepts that category (this bias towards string
489489is appropriate since an unknown-type literal does look like a string).
490490Otherwise, if all the remaining candidates accept the same type category,
491- select that category; otherwiseraise an error because
491+ select that category; otherwisefail because
492492the correct choice cannot be deduced without more clues. Also note whether
493493any of the candidates accept a preferred datatype within the selected category.
494494Now discard operator candidates that do not accept the selected type category;
@@ -501,11 +501,22 @@ argument.
501501<para>
502502If only one candidate remains, use it. If no candidate or more than one
503503candidate remains,
504- thenraise an error .
504+ thenfail .
505505</para>
506506</step>
507507</substeps>
508508</step>
509+ <step performance="required">
510+ <para>
511+ If no best match could be identified, see whether the function call appears
512+ to be a trivial type coercion request. This happens if the function call
513+ has just one argument and the function name is the same as the (internal)
514+ name of some datatype. Furthermore, the function argument must be either
515+ an unknown-type literal or a type that is binary-compatible with the named
516+ datatype. When these conditions are met, the function argument is coerced
517+ to the named datatype.
518+ </para>
519+ </step>
509520</procedure>
510521
511522<sect2>
@@ -699,8 +710,7 @@ Otherwise, ignore the <type>unknown</type> inputs while choosing the type.
699710
700711<step performance="required">
701712<para>
702- If the non-unknown inputs are not all of the same type category, raise an
703- error.
713+ If the non-unknown inputs are not all of the same type category, fail.
704714</para></step>
705715
706716<step performance="required">