1 2 3 4 5
error: contract predicate is always false --> tests/ui/fail/always_false_predicate.rs:3:11 | 3 | #[ensures(false)] | ^^^^^