blob: cd596ec0de96799eaab5ead6949ff1cea7ddb957 [file] [log] [blame]
// Copyright (c) 2021, 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 The constant-ness, identity and equality of the torn-off
/// constructor functions behave exactly the same as if they were tear-offs of
/// the corresponding static function. This means that a non-generic class
/// constructor always tears off to the same function value, as does an
/// uninstantiated tear off of a generic class constructor.
/// @description Checks equality of tear-offs of different constructors but with
/// the same signature
/// @author
// SharedOptions=--enable-experiment=constructor-tearoffs
import "../../Utils/expect.dart";
class C {
C.name1(int i, {required int j}) {}
C.name2(int i, {required int j});
C( int i, {required int j}) {}
main() {
var v1 = C.name1;
var v2 = C.name1;
Expect.equals(v1, v2);
Expect.identical(v1, v2);
var v4 = C.name2;
var v5 = C.name2;
Expect.equals(v4, v5);
Expect.identical(v4, v5);
var v7 =;
var v8 =;
Expect.equals(v7, v8);
Expect.identical(v7, v8);
Expect.notEquals(v1, v4);
Expect.notEquals(v2, v7);
Expect.notEquals(v5, v8);