{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
        // inference might unify those two inner type variables later.
        // emitting a coercion in cases like `Foo<$1>` -> `Foo<$2>`, where
        let traits = [coerce_unsized_did, unsize_did];