{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"let"}]}
                let result: Result<_, ErrorGuaranteed> =
            for &(ty, _) in tcx.assumed_wf_types(tcx.local_parent(defining_ty_def_id)) {
                    param_env.and(DeeplyNormalize { value: ty }).fully_perform(self.infcx, span);