{"ast_node_type":"variable","tokens":[{"end":79,"kind":"keyword","start":0,"text":"let"}]}
                let _ = self.at(&ObligationCause::dummy(), self.param_env).sup(
                // up with the `self` parameter of the method.
                    DefineOpaqueTypes::Yes,