Should default type parameters abide by imports?

[0b1kn00b]

Using absolute paths seems to be necessary atm. online

import haxe.ds.Option;

class Test {
	static function main() {
		trace("Haxe is great!");
	}
}

class TestDefaultTypeParameter<T = Option<String>> {
	final data:T;

	public function new(data) {
		this.data = data;
	}
}

[ERROR] Test.hx:9: characters 36-50

 9 | class TestDefaultTypeParameter<T = Option<String>> {
   |                                    ^^^^^^^^^^^^^^
   | Type not found : Option

[Simn]

Huh, very surprising that this fails even when everything is in the same module. Though I'd expect it to work even with separate modules.

[0b1kn00b]

It's a great feature: proxies have 6 terms and might even be usable now.

[Simn]

This was actually pretty bad because it tried loading the type way too early. Definitely 4.3.1 material.

[kLabz]

Any chance to get this to work too? 👀
https://try.haxe.org/#4a7aa8B3

[Simn]

Not here, but that does seem like it could be supported.

[0b1kn00b]

Wait, that looks an awful lot like higher types.