{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // emitting a coercion in cases like `Foo<$1>` -> `Foo<$2>`, where
        // Keep resolving `CoerceUnsized` and `Unsize` predicates to avoid
        // inference might unify those two inner type variables later.