{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"self.var_unification_table.normalize_ty_shallow(Interner,"}]}
        self.var_unification_table.normalize_ty_shallow(Interner, ty).unwrap_or_else(|| ty.clone())
        self.resolve_obligations_as_possible();
    }