summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/sgml/typeconv.sgml22
1 files changed, 11 insertions, 11 deletions
diff --git a/doc/src/sgml/typeconv.sgml b/doc/src/sgml/typeconv.sgml
index fdfc2934f9d..70799e28044 100644
--- a/doc/src/sgml/typeconv.sgml
+++ b/doc/src/sgml/typeconv.sgml
@@ -458,6 +458,17 @@ this step.)
</para></step>
<step performance="required">
<para>
+If no exact match appears in the catalog, see whether the function call appears
+to be a trivial type coercion request. This happens if the function call
+has just one argument and the function name is the same as the (internal)
+name of some data type. Furthermore, the function argument must be either
+an unknown-type literal or a type that is binary-compatible with the named
+data type. When these conditions are met, the function argument is coerced
+to the named data type without any explicit function call.
+</para>
+</step>
+<step performance="required">
+<para>
Look for the best match.
</para>
<substeps>
@@ -519,17 +530,6 @@ then fail.
</step>
</substeps>
</step>
-<step performance="required">
-<para>
-If no best match could be identified, see whether the function call appears
-to be a trivial type coercion request. This happens if the function call
-has just one argument and the function name is the same as the (internal)
-name of some data type. Furthermore, the function argument must be either
-an unknown-type literal or a type that is binary-compatible with the named
-data type. When these conditions are met, the function argument is coerced
-to the named data type.
-</para>
-</step>
</procedure>
<bridgehead renderas="sect2">Examples</bridgehead>