Closed dplassgit closed 3 months ago
E.g.,
a:string[1] a[0]="hi"
Doesn't need to check that a is not null on the 2nd line
a
Superseded by the NotNullOptimizer
E.g.,
Doesn't need to check that
a
is not null on the 2nd line