eliminating more todos

This commit is contained in:
Jakub Doka 2024-10-31 11:03:58 +01:00
parent 56984f08ff
commit 728d563cea
No known key found for this signature in database
GPG key ID: C6E9A89936B8C143

View file

@ -184,11 +184,19 @@ main := fn(): uint {
if f == null return 34
bar := @as(?Bar, .(a, 1))
if decide() bar = null
if bar != null return 420
return d - *f.a
}
Foo := struct {a: ^uint, b: uint}
Bar := struct {a: ?^uint, b: uint}
decide := fn(): bool return true
```