{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"//"}]}
        // This does not consider the type-outlives.
        // Insert the `'a: 'b` we know from the predicates.
        let param_env = self.param_env;