blob: 6e8141def4d2e45d7a90791eb710b2a07c5fb6cb [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.
// Test that private names exported via public typedefs can be used for instance
// checks
import "package:expect/expect.dart";
import "private_name_library.dart";
class Derived1 extends PublicClass {}
class Derived2 implements PublicClass {
// Dummy implementation for the class using noSuchMethod.
noSuchMethod(_) {}
void test1() {
var d1 = Derived1();
Expect.isTrue(d1 is Derived1);
Expect.isTrue(d1 is PublicClass);
Expect.isTrue(d1 is AlsoPublicClass);
Expect.isFalse(d1 is Derived2);
var d2 = Derived2();
Expect.isFalse(d2 is Derived1);
Expect.isTrue(d2 is PublicClass);
Expect.isTrue(d2 is AlsoPublicClass);
Expect.isTrue(d2 is Derived2);
var p = PublicClass();
Expect.isFalse(p is Derived1);
Expect.isTrue(p is PublicClass);
Expect.isTrue(p is AlsoPublicClass);
Expect.isFalse(p is Derived2);
void main() {