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

// @dart = 2.7

import 'package:async_helper/async_helper.dart';
import 'package:compiler/src/elements/entities.dart';
import 'package:compiler/src/inferrer/typemasks/masks.dart';
import 'package:compiler/src/world.dart';
import 'package:expect/expect.dart';
import '../helpers/type_test_helper.dart';

main() {
  runTest() async {
    TypeEnvironment env = await TypeEnvironment.create(r"""
      main() {}
      """, testBackendWorld: true);
    JClosedWorld world = env.jClosedWorld;
    ClassEntity nullClass = env.commonElements.nullClass;
    FlatTypeMask empty = FlatTypeMask.empty();
    Expect.equals(empty, FlatTypeMask.exact(nullClass, world));
    Expect.equals(empty, FlatTypeMask.subclass(nullClass, world));
    Expect.equals(empty, FlatTypeMask.subtype(nullClass, world));
    Expect.equals(empty, FlatTypeMask.nonNullExact(nullClass, world));
    Expect.equals(empty, FlatTypeMask.nonNullSubclass(nullClass, world));
    Expect.equals(empty, FlatTypeMask.nonNullSubtype(nullClass, world));
  }

  asyncTest(() async {
    print('--test from kernel------------------------------------------------');
    await runTest();
  });
}