Erased functions do not take a func spec

This commit is contained in:
Ayaz Hafiz 2023-07-06 15:08:07 -05:00
parent 7c8e7bbea3
commit 13d1232f7d
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
9 changed files with 185 additions and 28 deletions

View file

@ -813,6 +813,7 @@ impl<'a> TrmcEnv<'a> {
ret_layout: proc.ret_layout,
is_self_recursive: SelfRecursive::NotSelfRecursive,
host_exposed_layouts: proc.host_exposed_layouts.clone(),
is_erased: proc.is_erased,
}
}