{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
            // Projections are not injective in general.
        match *t.kind() {
            ty::Alias(ty::Projection | ty::Inherent | ty::Opaque, _)