pkg/front_end/testcases/dartdevc/js_interop_transforms/isa.dart

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

@JS('library1')
library;

import 'dart:js_interop';

extension type CustomJSAny(JSAny _) implements JSAny {}

extension type CustomJSObject(JSObject _) implements JSObject {}

extension type CustomTypedArray(JSTypedArray _) implements JSObject {}

@JS('RenamedJSArray')
extension type CustomJSArray(JSArray _) implements JSObject {}

void test(JSAny any, JSAny? nullableAny, Object obj, Object? nullableObj) {
  // Top type.
  any.isA<JSAny>();
  any.isA<JSAny?>();
  nullableAny.isA<JSAny>();
  nullableAny.isA<JSAny?>();
  obj.isA<JSAny>();
  obj.isA<JSAny?>();
  nullableObj.isA<JSAny>();
  nullableObj.isA<JSAny?>();

  // Primitives.
  any.isA<JSString>();
  any.isA<JSString?>();
  any.isA<JSNumber>();
  any.isA<JSBoolean>();
  any.isA<JSSymbol>();
  any.isA<JSBigInt>();
  obj.isA<JSString>();
  obj.isA<JSString?>();

  // Objects.
  any.isA<JSObject>();
  any.isA<JSObject?>();
  obj.isA<JSObject>();
  obj.isA<JSObject?>();

  any.isA<JSArray<JSString>>();
  obj.isA<JSArray?>();

  // Check that there's a specific lowering for some JS types.
  any.isA<JSTypedArray>();
  any.isA<JSBoxedDartObject>();
  any.isA<JSExportedDartFunction>();
  any.isA<JSExportedDartFunction<JSArray<JSString> Function(int, [String?])>>();
  obj.isA<JSTypedArray>();
  obj.isA<JSBoxedDartObject>();
  obj.isA<JSExportedDartFunction>();
  obj
      .isA<
        JSExportedDartFunction<JSArray<JSString> Function(int, [String?])>?
      >();

  // User-defined types.
  any.isA<CustomJSAny>();
  any.isA<CustomJSObject>();
  any.isA<CustomTypedArray>();
  any.isA<CustomJSArray>();
  obj.isA<CustomJSAny>();
  obj.isA<CustomJSObject>();
  obj.isA<CustomTypedArray>();
  obj.isA<CustomJSArray>();

  // Non-variable expression should avoid evaluating twice.
  () {
    return any;
  }().isA<JSAny>();
}

void main() {}