{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":".param_env"}]}
            .param_env
        let TypeOpOutput { output: bounds, constraints, .. } = self
            .and(type_op::ImpliedOutlivesBounds { ty })