| // Copyright (c) 2020, 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. |
| |
| // Requirements=nnbd-strong |
| |
| // Regression test for https://github.com/dart-lang/sdk/issues/41939 |
| |
| void checkme0<T>(T? t) {} |
| void checkme1<T extends dynamic>(T? t) {} |
| void checkme2<T extends Object?>(T? t) {} |
| void checkme3<T extends int>(T? t) {} //# 01: ok |
| |
| typedef void Test<T>(T? t); |
| |
| main() { |
| Test<int> t0 = checkme0; |
| Test<int> t1 = checkme1; |
| Test<int> t2 = checkme2; |
| Test<int> t3 = checkme3; //# 01: continued |
| } |
