518dc52f85
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
5 lines
123 B
Rust
5 lines
123 B
Rust
// error-pattern: precondition constraint
|
|
|
|
fn f() -> int { let x: int; while true { x = 10; } ret x; }
|
|
|
|
fn main() { f(); }
|