blob: 3d326d9fca87912c56ab9106d95807cec0e54158 [file] [log] [blame]
// Copyright (c) 2017, 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";
class A {}
class B extends A {}
Iterable<B> f(Iterable<A> a) sync* {
yield* a;
}
void main() {
B b = new B();
for (var x in f(<B>[b])) {} // No error
var iterator = f(<A>[b]).iterator;
Expect.throwsTypeError(() {
iterator.moveNext();
});
}