typedef T = A;
abstract A(T) { }

class Main1 {
	static function main() { }
}