{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"self.delegate.universe_of_ty(vid).unwrap_or_else(||"}]}
                                self.delegate.universe_of_ty(vid).unwrap_or_else(|| {
                            CanonicalVarKind::Ty(CanonicalTyVarKind::General(
                                    panic!("ty var should have been resolved: {t:?}")