Change names to sth more presentable

This commit is contained in:
Ali Bektas 2023-07-15 19:04:59 +02:00
parent 75f06ce1fb
commit f8f19c4288

View file

@ -151,7 +151,7 @@ impl<V, T> ProjectionElem<V, T> {
TyKind::Adt(_, subst) => {
db.field_types(f.parent)[f.local_id].clone().substitute(Interner, subst)
}
TyKind::Alias(al) => al.clone().intern(Interner),
TyKind::Alias(inner) => inner.clone().intern(Interner),
_ => {
never!("Only adt has field");
return TyKind::Error.intern(Interner);
@ -168,7 +168,7 @@ impl<V, T> ProjectionElem<V, T> {
TyKind::Error.intern(Interner)
}),
TyKind::Closure(id, subst) => closure_field(*id, subst, *f),
TyKind::Alias(al) => al.clone().intern(Interner),
TyKind::Alias(inner) => inner.clone().intern(Interner),
_ => {
never!("Only tuple or closure has tuple or closure field");
return TyKind::Error.intern(Interner);