try-catch vs @:to

[nadako]

abstract Dyn(Dynamic) from Dynamic {
	@:to function toDynamic():Dynamic return this;
}

class Main {
	static function main() {
		var value:Dyn = "s";
		(try value catch (pokemon:Dynamic) null : String);
	}
}

will fail with Main.hx:8: characters 8-13 : Dyn should be String

[nadako]

This is specific to try/catch because (if (Math.random() < 0.5) value else null : String) compiles!

[Aurel300]

Interestingly enough the above code compiles in 3.4.4.

[nadako]

try-haxe says it also compiles in 4.0.0-preview.1, so this is a 4.0 regression

[nadako]

Thanks a lot, that was quick!