{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
            // consider them *not* compatible.
            // Same as above: if either the coerce type or the checked type is an error type,
            let references_error = (coerced_ty, arg_ty).references_error();