more debug info

This commit is contained in:
Folkert 2022-04-26 09:14:29 +02:00
parent af6c3231f3
commit 4164dcc3da
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -487,7 +487,11 @@ pub(crate) fn canonicalize_defs<'a>(
symbols_introduced.insert(s, r);
debug_assert_eq!(env.home, s.module_id());
debug_assert!(!symbol_to_index.iter().any(|(id, _)| *id == s.ident_id()));
debug_assert!(
!symbol_to_index.iter().any(|(id, _)| *id == s.ident_id()),
"{:?}",
s
);
symbol_to_index.push((s.ident_id(), def_index as u32));
}