blob: 0e789127029bc0e4ccaa1dbb9dab1bc747955d0f [file] [log] [blame]
// Copyright (c) 2018, 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.
import "package:expect/expect.dart";
main() {
// This is a regression test for
// Warm-up the subtype cache with a "(int) -> int" closure.
// Test that the generic "(T) -> T" closure raises a type error.
Expect.throwsTypeError(() => fooClosure(gen));
FI partialInst(FI arg) => arg;
T gen<T>(T a) => a;
final dynamic fooClosure = foo;
bool foo(FI arg) => arg is FI;
typedef FI = int Function(int);