1 2 3 4 5 6 7
// error-pattern:unsatisfied precondition constraint (for example, init(bar fn main() { let bar; fn baz(x: int) { } bind baz(bar); }