{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":".and(type_op::ImpliedOutlivesBounds"}]}
            .and(type_op::ImpliedOutlivesBounds { ty })
            .param_env
            .fully_perform(self.infcx, span)