class Base {
}
class Derived extends Base {
	static function f(v : Base) : Derived {
		return v;
	}
}