Language/Expressions/Type_Test/is_not_equivalent_t03.dart

// Copyright (c) 2016, 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 is-expression e is! T is equivalent to !(e is T).
/// @description Checks that the is-expressions 'e is! T' and '!(e is T)' are
/// equivalent.
/// @author ngl@unipro.ru

import '../../../Utils/expect.dart';

main() {
  Expect.equals((1 is! num), !(1 is num));
  Expect.equals((1.0 is! num), !(1.0 is num));
  Expect.equals(("string" is! num), !("string" is num));
  Expect.equals((new Object() is! num), !(new Object() is num));

  Expect.equals((1 is! String), !(1 is String));
  Expect.equals((1.0 is! String), !(1.0 is String));
  Expect.equals(("string" is! String), !("string" is String));
  Expect.equals((new Object() is! String), !(new Object() is String));
}