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