| // Copyright (c) 2012, 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. |
| // |
| // OtherResources=readline_test1.dat |
| |
| // @dart = 2.9 |
| |
| // Regression test for missing immutability check in the ListSet |
| // methods in the API. This allowed overwriting const Lists. |
| |
| import "package:expect/expect.dart"; |
| import "dart:io"; |
| |
| String getFilename(String path) { |
| return Platform.script.resolve(path).toFilePath(); |
| } |
| |
| void main() { |
| var a = const [0]; |
| var b = const [0]; |
| Expect.identical(a, b); |
| |
| String filename = getFilename("readline_test1.dat"); |
| File file = new File(filename); |
| file.open().then((input) { |
| Expect.throwsUnsupportedError(() => input.readIntoSync(a, 0, 1)); |
| Expect.equals(0, a[0]); |
| Expect.equals(0, b[0]); |
| input.closeSync(); |
| }); |
| } |