{"ast_node_type":"variable","tokens":[{"end":52,"kind":"keyword","start":0,"text":"let"}]}
                let ocx = ObligationCtxt::new(self);
            self.fudge_inference_if_ok(|| {
                ocx.sup(&self.misc(path_span), self.param_env, expected, adt_ty)?;