blob: 39b0f5cb879aa53f5a8f9e7912bd41cea3b6936c [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 reference to a type alias declaration can be used
* as the second operand of a bitwise expression without a compile error.
* @static-warning
* @author kaigorodov
* @reviewer rodionov
*/
typedef String fun();
main() {
try {
1 ^ 2 ^ fun; /// static type warning - incompatible argument type, see "Binding actuals to formals"
} catch(e) {} // type error or NSME depending on mode
}