{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"self.register_wf_obligation(ty.into(),"}]}
        self.register_wf_obligation(ty.into(), hir_ty.span, ObligationCauseCode::WellFormed(None));
        let ty = self.lowerer().lower_ty(hir_ty);
        LoweredTy::from_raw(self, hir_ty.span, ty)