blob: 69aaae873b523efc8b3bb288c0b3905e31879278 [file] [log] [blame]
/*
* Copyright (c) 2021, 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 requirement that the condition in a boolean conditional
* control expression (e.g. the a conditional statement, conditional element,
* while loop, etc) be assignable to bool is unchanged from pre null-safe Dart.
*
* @description Checks that the static type of the condition must be assignable
* to bool
*
* @author sgrekhov@unipro.ru
*/
Null foo() => null;
void bar() {}
main() {
int i = 0;
if (i) {}
// ^
// [analyzer] unspecified
// [cfe] unspecified
if ("true") {}
// ^^^^^^
// [analyzer] unspecified
// [cfe] unspecified
if (bar()) {}
// ^^^
// [analyzer] unspecified
// [cfe] unspecified
if (foo()) {}
// ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
Object? o = true;
if (o) {}
// ^
// [analyzer] unspecified
// [cfe] unspecified
}