src/test/compile-fail/fru-typestate.rs


1
2
3
4
5
6
7
8
9
10
11
12

// -*- rust -*-

// error-pattern: precondition

type point = rec(int x, int y);

fn main() {
  let point origin;

  let point right = rec(x=10 with origin);
  origin = rec(x=0, y=0);
}