path: root/Test/test0/WhereParsing2.bpl

const x: int where x < 0;  // error: where clauses not allowed on constants