// 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.

// @dart = 2.9

/// @assertion abstract E operator [](int index)
/// @description Checks that [RangeError] is thrown if [index] is out of bounds.
/// @author iarkh@unipro.ru

import "dart:collection";
import "../../../Utils/expect.dart";

void check(List a0, int idx) {
  UnmodifiableListView a = new UnmodifiableListView(a0);
  Expect.throws(() { a[idx]; }, (e) => e is RangeError);
}

main() {
  check([], 0);
  check([], 1);
  check([], -1);
  check([], 6031769);
  check([1], 2);
  check([null, null, null, null], 5);
  check([null, null, null, null], -1);

  List l = new List(123);
  check(l, 124);
  check(l, -1);
}