| //@ aux-build:id.rs |
| //@ revisions: unchk_pass unchk_fail chk_pass chk_fail |
| // |
| // The dependency crate `id` can be compiled with runtime contract checking |
| // enabled independently of whether this crate is compiled with contract checks |
| // or not. |
| // |
| // chk/unchk indicates whether this crate is compiled with contracts or not |
| // and pass/fail indicates whether the `id` crate is compiled with contract checks. |
| // |
| //@ [unchk_pass] run-pass |
| //@ [unchk_fail] run-crash |
| //@ [chk_pass] run-pass |
| //@ [chk_fail] run-crash |
| // |
| // |
| //@ [unchk_pass] compile-flags: -Zcontract-checks=no |
| //@ [unchk_fail] compile-flags: -Zcontract-checks=no |
| //@ [chk_pass] compile-flags: -Zcontract-checks=yes |
| //@ [chk_fail] compile-flags: -Zcontract-checks=yes |
| |
| extern crate id; |
| |
| fn main() { |
| id::id_if_positive(0); |
| } |
