| // Copyright (c) 2020, 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. |
| |
| // See: https://github.com/dart-lang/sdk/issues/42466 |
| |
| import 'dart:collection'; |
| import 'package:expect/expect.dart'; |
| |
| var caughtString; |
| |
| class AlwaysThrowingIterator implements Iterator<int> { |
| bool moveNext() => throw 'moveNext'; |
| int get current => throw 'current'; |
| } |
| |
| class AlwaysThrowing extends IterableBase<int> { |
| Iterator<int> get iterator => AlwaysThrowingIterator(); |
| } |
| |
| Iterable<int> f() sync* { |
| try { |
| yield* AlwaysThrowing(); |
| } catch (e, st) { |
| caughtString = 'caught $e in f'; |
| } |
| } |
| |
| void g() { |
| try { |
| for (int x in f()) { |
| print(x); |
| } |
| } catch (e, st) { |
| caughtString = 'caught $e in g'; |
| } |
| } |
| |
| main() { |
| g(); |
| // The spec dictates that if `e` (moveNext, current) throws then `yield* e` |
| // should throw. |
| // I.e. even though the iteration is happening in `g`, the `yield*` is in `f` |
| // so its catch should trigger. |
| Expect.equals('caught moveNext in f', caughtString); |
| } |