blob: e4c9d4166ddd745ab9af2e8029843d8146eab2fc [file] [log] [blame]
/*
* Copyright (c) 2019, 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.
*/
/**
* @assertion Any use of a type [T] which is not well-bounded is a
* compile-time error.
* @description Checks that compile error is not thrown when function alias with
* well bounded type parameters is declared.
* @Issue 36959, 37050, 42415
* @author iarkh@unipro.ru
*/
class A<T extends A<T>> {}
typedef B<X extends A<X>> = X Function(X);
main() {
B<A> b2;
B<void> b4;
B<Never> b5;
B<A<dynamic>> b6;
B<A<void>> b8;
B<A<Never>> b9;
}