Lower a creator's IList return to a level-pushing record

This commit is contained in:
Dennis Kobert
2026-08-14 08:22:29 +00:00
parent 3e183fbd28
commit 04afada5b3
3 changed files with 53 additions and 6 deletions

View File

@@ -154,7 +154,7 @@ fn element_of(ty: &Type, generics: &[Ident]) -> Element {
}
}
fn strip_ilist(ty: &Type) -> (Type, u8) {
pub(crate) fn strip_ilist(ty: &Type) -> (Type, u8) {
let mut element = ty.clone();
let mut depth = 0;
while let Some(inner) = ilist_inner(&element) {