Support specialization of naked tag unions at toplevel

This commit is contained in:
Ayaz Hafiz 2022-07-08 17:50:52 -04:00
parent 507e1e5add
commit 532b2ff403
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
4 changed files with 12 additions and 7 deletions

View file

@ -0,0 +1,7 @@
procedure Test.4 ():
let Test.7 : [<rnu><null>, C List *self] = TagId(1) ;
ret Test.7;
procedure Test.0 ():
let Test.6 : [<rnu><null>, C List *self] = CallByName Test.4;
ret Test.6;

View file

@ -1720,7 +1720,6 @@ fn call_function_in_empty_list_unbound() {
}
#[mono_test]
#[ignore = "TODO"]
fn instantiate_annotated_as_recursive_alias_toplevel() {
indoc!(
r#"