// Copyright (c) 2011, 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 run-time type of every object is represented as an instance
/// of class Type which can be obtained by calling the getter runtimeType 
/// declared in class Object, the root of the Dart class hierarchy.
/// @description Checks that this getter works with null value, because it is an 
/// instance of type Null which extends Object and should inherit runtimeType.
/// @author rodionov
/// @issue 42512

import "../../Utils/expect.dart";

main() {
  Expect.isTrue(null.runtimeType is Type);
  Expect.runtimeIsType<Type>(null.runtimeType);
}