blob: f7f3722290215bda1bb94059ad07d2e5bfbb6a86 [file] [log] [blame]
/*
* 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 logical boolean expressions combine boolean objects using
* the boolean conjunction and disjunction operators.
* logicalOrExpression:
* logicalAndExpression ('||' logicalAndExpression)*
* ;
* logicalAndExpression:
* equalityExpression ('&&' equalityExpression)*
* ;
* A logical boolean expression is either an equality expression, or an
* invocation of a logical boolean operator on an expression e1 with argument
* e2.
* @description Checks that a type parameter can be used as the first operand
* in a logical boolean expression without a compile error.
* @author msyabro
* @reviewer kaigorodov
*/
class A<T> {
test() {
T && false; /// 01: static type warning, dynamic type error
}
}
main() {
A<bool> a = new A<bool>();
a.test();
}