blob: 54e4f34872b72040e407a0f3a940c51dd34f5169 [file] [log] [blame]
// Copyright (c) 2016, 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 Evaluation of an assignment of the form e1.v = e2 proceeds as
/// follows:
/// The expression e1 is evaluated to an object o1. Then, the expression e2 is
/// evaluated to an object o2. Then, the setter v = is looked up in o1 with
/// respect to the current library. If o1 is an instance of Type but e1 is not a
/// constant type literal, then if v = is a setter that forwards to a static
/// setter, setter lookup fails. Otherwise, the body of v = is executed with its
/// formal parameter bound to o2 and this bound to o1.
/// @description Checks that if evaluation of e1 successful then e2 is evaluated
/// even if setter lookup failed
/// @author sgrekhov@unipro.ru
import '../../../Utils/expect.dart';
class C {
C operator +(C val) {
return new C();
}
}
int count = 0;
int e2() => count++;
main() {
dynamic c1 = new C();
dynamic c2 = new C();
Expect.throws(() {(c1 + c2).v = e2();}, (e) => e is NoSuchMethodError);
Expect.equals(1, count);
}