RealyUniqueName / Safety

Null safety for Haxe
MIT License
54 stars 5 forks source link

Safety: Cannot access "length" of a nullable value after if (... != null) #16

Closed restorer closed 5 years ago

restorer commented 5 years ago
class Bug11 {
    public function bug(a : Null<String>, b : Null<String>) : Void {
        if (a == null || b == null) {
            return;
        }

        // Safety: Cannot access "length" of a nullable value.
        // Probably, variation of Bug7
        a.length + b.length;
    }
}

See https://github.com/restorer/haxe-safety-bugs/blob/master/safetybugs/Main.hx#L153 for working example.

restorer commented 5 years ago

This is for Haxe 4.0.0-preview.5 and Safety from master.

RealyUniqueName commented 5 years ago

fixed in https://github.com/HaxeFoundation/haxe/pull/7717