blob: f4837f77d04f9b52f90b75b5afbe53d47443d29c [file] [log] [blame]
* Copyright (c) 2019, 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 We say that a type T is nullable if Null <: T and not T <: Object.
* This is equivalent to the syntactic criterion that T is any of:
* Null
* S? for some S
* S* for some S where S is nullable
* FutureOr<S> for some S where S is nullable
* dynamic
* void
* @description Check that null can be assigned to nullable type. Test Null
* @author
// Requirements=nnbd-strong
main() {
Null v = null;
v = null;