{"ast_node_type":"variable","tokens":[{"end":24,"kind":"keyword","start":0,"text":"let"}]}
        let obligation =
    ) -> traits::SelectionResult<'tcx, traits::Selection<'tcx>> {
            traits::Obligation::new(self.tcx, self.misc(self.span), self.param_env, trait_ref);