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