{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"let"}]}
        let (normalized_ty, obligations) =
            self.structurally_normalize_ty(Ty::new_projection(tcx, trait_target_def_id, [ty]))?;