HaxeFoundation.haxe/tests/misc/compiler_loops/projects/Issue8588/Main2.hx

abstract Under<T>(T) {
	@:from public static function from<T>(v) return (v:Under<T>);
}

class Main {
	static function main() {
		var a1:Under<{}> = {};
	}
}