1 2 3 4
// error-pattern: Unsatisfied precondition constraint fn force(f: block()) { f(); } fn main() { let x: int; force(block () { log_err x; }); }