1 2 3 4 5 6 7 8 9 10 11 12
// xfail-stage0 // error-pattern:Unsatisfied precondition fn main() { state obj foo(int x) { drop { let int baz; log(baz); } } fail; }