Signed-off-by: Jakub Doka <jakub.doka2@gmail.com>
This commit is contained in:
Jakub Doka 2024-12-16 15:03:07 +01:00
parent d2fa41039b
commit b9b8233a53
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143

View file

@ -105,7 +105,7 @@ impl Nodes {
} }
fn as_ty(&self, cint: Nid) -> ty::Id { fn as_ty(&self, cint: Nid) -> ty::Id {
if self[citn].ty == ty::Id::NEVER { if self[cint].ty == ty::Id::NEVER {
return ty::Id::NEVER; return ty::Id::NEVER;
} }
debug_assert_eq!(self[cint].ty, ty::Id::TYPE); debug_assert_eq!(self[cint].ty, ty::Id::TYPE);