// Copyright (c) 2015, 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.

// SharedOptions=--experimental-trust-js-interop-type-annotations

// Similar test to js_typed_interop_side_cast, but because we are using the
// --experimental-trust-js-interop-type-annotations flag, we test a slightly
// different behavior.
@JS()
library js_typed_interop_side_cast_exp_test;

import 'package:js/js.dart';
import 'package:expect/minitest.dart';

@JS()
@anonymous
class A {
  external int get x;
  external factory A({required int x});
}

@JS()
@anonymous
class B {
  external int get x;
  external factory B({required int x});
}

@JS()
@anonymous
class C {
  external int get x;
  external factory C({required int x});
}

main() {
  test('side-casts work for reachable types', () {
    new C(x: 3); // make C reachable
    dynamic a = new A(x: 3);
    expect(a is C, isTrue);
    C c = a;
    expect(c.x, equals(3));
  });

  // Note: this test would fail without the experimental flag.
  test('side-casts do not work for unreachable types', () {
    dynamic a = new A(x: 3);
    expect(a is B, isFalse); //# 01: ok
  });
}