{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"//"}]}
            // we have a param_env available, we can do better.
            // `t` may be a projection, for which `inhabited_predicate` returns a `GenericType`. As
            Self::GenericType(t) => {