2020-09-08 02:56:21 -05:00
|
|
|
/// Doc-test test
|
|
|
|
/// ```rust
|
2020-09-12 07:09:43 -05:00
|
|
|
/// assert!(cargo_miri_test::make_true());
|
2020-09-08 02:56:21 -05:00
|
|
|
/// ```
|
2021-04-05 05:26:27 -05:00
|
|
|
/// ```rust,no_run
|
2021-04-10 07:20:06 -05:00
|
|
|
/// assert!(!cargo_miri_test::make_true());
|
2021-04-05 05:26:27 -05:00
|
|
|
/// ```
|
2021-04-05 05:16:31 -05:00
|
|
|
/// ```rust,compile_fail
|
|
|
|
/// assert!(cargo_miri_test::make_true() == 5);
|
|
|
|
/// ```
|
2021-04-15 16:19:23 -05:00
|
|
|
#[no_mangle]
|
2020-09-08 02:56:21 -05:00
|
|
|
pub fn make_true() -> bool {
|
2021-02-14 08:38:56 -06:00
|
|
|
issue_1567::use_the_dependency();
|
2021-02-14 04:12:33 -06:00
|
|
|
issue_1705::use_the_dependency();
|
2021-04-07 07:46:20 -05:00
|
|
|
issue_1760::use_the_dependency!();
|
2021-02-14 05:08:47 -06:00
|
|
|
issue_1691::use_me()
|
2020-09-08 02:56:21 -05:00
|
|
|
}
|
2021-04-30 05:50:40 -05:00
|
|
|
|
|
|
|
pub fn main() {
|
|
|
|
println!("imported main");
|
|
|
|
}
|