| // 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. |
| |
| // @dart = 2.9 |
| |
| import 'package:expect/expect.dart'; |
| |
| void something(List<String> l) { |
| String s = l.first; |
| } |
| |
| void checkAndInvoke(Function f) { |
| f(["foo"]); |
| var l = <int>[1]; |
| Expect.throwsTypeError(() => f(l)); |
| if (f is Function(List<Never>)) { |
| Expect.throwsTypeError(() => (f as Function)(l)); |
| } |
| } |
| |
| void main() { |
| checkAndInvoke(something); |
| } |
