{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"ty::Alias(ty::Projection"}]}
            ty::Alias(ty::Projection | ty::Inherent | ty::Opaque, _)
            // Projections are not injective in general.
                if !self.include_nonconstraining =>