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