// Copyright (c) 2023, 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
/// A collection element of the form:
///
/// for (<keyword> <pattern> in <expression>) <element>
///
/// Where <keyword> is var or final is treated like so:
/// 1. Let I be the static type of <expression>, inferred using context type
///   schema Iterable<P> where P is the context type schema of <pattern>.
/// 2. Calculate the element type of I:
///     i. If I implements Iterable<T> for some T then E is T.
///     ii. Else if I is dynamic then E is dynamic.
///     iii. Else it is a compile-time error.
/// 3. Type check <pattern> with matched value type E.
/// 4. If there are no compile-time errors, then execution proceeds as the
///   following code, where id1 and id2 are fresh identifiers and append() is
///   an operation to add an element to the surrounding collection being built:
/// ```dart
/// I id1 = <expression>;
/// Iterator<E> id2 = id1.iterator;
/// while (id2.moveNext()) {
///   <keyword> <pattern> = id2.current;
///   append(<element>);
/// }
/// ```
/// @description Checks that if `I` is `dynamic` and runtime type of `I` is
/// `Iterable<T>` where `T` is not assignable to `<pattern>` required type then
/// a run-time error occurs. Test a map literal
/// @author sgrekhov22@gmail.com

import "../../Utils/expect.dart";
import "patterns_lib.dart";

main() {
  Expect.throws(() {
    var m = {
      for (var (int v1) in <num>[1, 2, 3.14] as dynamic) "k$v1": v1
    };
  });

  Expect.throws(() {
    var m = {
      for (final <int>[v2] in <List<num>>[[1], [2], [3]] as dynamic) "k$v2": v2
    };
  });

  Expect.throws(() {
    var m = {
      for (var <String, int>{"k1": v3} in
          <Map<String, num>>[{"k1": 1}] as dynamic) "k$v3": v3
    };
  });

  Expect.throws(() {
    var m = {
      for (final (int v4,) in <(num,)>[(1.1,)] as dynamic) "k$v4": v4
    };
  });

  Expect.throws(() {
    var m = {
      for (var (n: int v5) in <({num n})>[(n: 2.1)] as dynamic) "k$v5": v5
    };
  });

  Expect.throws(() {
    var m = {
      for (var Square<Centimeter>(area: v6) in [Circle(1)] as dynamic)
        "k$v6": v6
    };
  });

  Expect.throws(() {
    var m = {
      for (final Square<Meter>(area: v7) in
          <Square<Centimeter>>[Square<Centimeter>(1)] as dynamic) "k$v7": v7
    };
  });
}