blob: 89d2bf31d8a8a7384d2ba5ad163ea337eae2b385 [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 Bitwise expressions invoke the bitwise operators on objects.
* bitwiseOrExpression:
* bitwiseXorExpression ('|' bitwiseXorExpression)* |
* super ('|' bitwiseXorExpression)+
* ;
* bitwiseXorExpression:
* bitwiseAndExpression ('^' bitwiseAndExpression)* |
* super ('^' bitwiseAndExpression)+
* ;
* bitwiseAndExpression:
* shiftExpression ('&' shiftExpression)* |
* super ('&' shiftExpression)+
* ;
* bitwiseOperator:
* '&' |
* '^' |
* '|'
* ;
* A bitwise expression is either an shift expression, or an invocation
* of a bitwise operator on either super or an expression e1, with argument e2.
* @description Checks that a type variable can be used
* as the first operand of a bitwise expression without a compile error.
* @static-warning
* @author msyabro
* @reviewer kaigorodov
*/
class A<T> {
test() {
try {
T & 1; /// static type warning - invoking an undefined operator, see "Ordinary invocation"
} catch(e) {}
}
}
main() {
A<String> a = new A<String>();
a.test();
}