HaxeFoundation / HaxeFoundation/haxe
[nullsafety] variable capture + type check
Open
feature-null-safety
- Dominant language
- Haxe
- Stars
- 6.9k
- Forks
- 715
- Avg merge
- 2d 2h
- Merged PRs (30d)
- 11
Description
The following doesn't compile with the type-check:
```haxe
@:nullSafety
class Test {
static function main() {
switch (null:Null) {
case null:
case (_:String) => v:
}
}
}
```
```
Test.hx:6: characters 9-19 : Null safety: Cannot cast nullable value to not nullable type.
```
Contributor guide
Assessment
This issue has not been assessed yet.