Don't add path instructions for newtypes that decay into their args

This commit is contained in:
Ayaz Hafiz 2022-07-21 14:57:17 -04:00
parent 52e15bd344
commit 1acb7e0748
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
5 changed files with 44 additions and 11 deletions

View file

@ -0,0 +1,13 @@
procedure Test.0 ():
let Test.10 : Str = "err";
let Test.9 : [C Str, C Str] = TagId(1) Test.10;
joinpoint Test.8:
let Test.4 : Str = UnionAtIndex (Id 0) (Index 0) Test.9;
inc Test.4;
dec Test.9;
ret Test.4;
in
let Test.3 : Str = UnionAtIndex (Id 1) (Index 0) Test.9;
inc Test.3;
dec Test.9;
ret Test.3;