HaxeFoundation / HaxeFoundation/haxe

Null<T> lost in type inference

Open
#5,517 6 comments 0 reactions 1 assignee Claimed by @Simn View on GitHub
bug feature-null-t
Dominant language
Haxe
Stars
6.9k
Forks
715
Avg merge
2d 2h
Merged PRs (30d)
11

Description

``` haxe
class Node {
public function new(value:T, next:Node) {
}
}

class Main {
static function main() {
var i:Null = 1;
new Node(i, new Node(1, null));
}
}
```

generated AST (note the inner Node is a `Node`, not `Node>`):

```
[New:Node>]
Node>
[Cast:Null] [Const:Int] 1
[New:Node]
Node
[Const:Int] 1
[Const:Node] null
}
```

this is problematic for C# target where we have to generate a copy-cast right now

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.