blob: a96fd1fa2c101c4da874a7b13daa9d0d35010e32 [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.
// Check that typedef type parameters are verified to satisfy their bounds.
typedef F<T extends num> = T Function<U>(T x);
void g(/*@compile-error=unspecified*/ F<String>? f) {}
main() {
g(null);
}