// Copyright (c) 2011, 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 type bounds when invoking a factory method | |
interface Foo {} | |
interface IA<T> default A<T extends Foo> { IA(); } | |
class A<T extends Foo> implements IA<T> { | |
factory A(){} | |
} | |
main() { | |
var result = new IA<String>(); /// 01: static type warning, dynamic type error | |
} |