// Copyright (c) 2021, the Dart project authors. Please see the AUTHORS file | |
// for details. All rights reserved. Use of this source code is governed by a | |
// BSD-style license that can be found in the LICENSE file. | |
class A<X extends num> { | |
void f<Y extends X>(Y y) {} | |
} | |
expectThrows(void Function() f) { | |
try { | |
f(); | |
} catch (e) { | |
return; | |
} | |
throw "Expected an exception to be thrown!"; | |
} | |
main() { | |
A<num> a = new A<int>(); | |
expectThrows(() { | |
void Function<Y extends num>(Y) f = a.f; | |
}); | |
} |