blob: 86697c58fbcf13ca9f5bd2e8b929193b8ddc7686 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
// aux-build:common.rs
// ignore-tidy-linelength
// only-x86_64
// run-pass
#![feature(core_intrinsics, generic_assert, generic_assert_internals)]
extern crate common;
#[derive(Clone, Copy, PartialEq)]
struct CopyNoDebug(i32);
#[derive(Debug, PartialEq)]
struct NoCopyDebug(i32);
#[derive(PartialEq)]
struct NoCopyNoDebug(i32);
fn main() {
// Has Copy but does not have Debug
common::test!(
let mut copy_no_debug = CopyNoDebug(1);
[ copy_no_debug == CopyNoDebug(3) ] => "Assertion failed: copy_no_debug == CopyNoDebug(3)\nWith captures:\n copy_no_debug = N/A\n"
);
// Does not have Copy but has Debug
common::test!(
let mut no_copy_debug = NoCopyDebug(1);
[ no_copy_debug == NoCopyDebug(3) ] => "Assertion failed: no_copy_debug == NoCopyDebug(3)\nWith captures:\n no_copy_debug = N/A\n"
);
// Does not have Copy and does not have Debug
common::test!(
let mut no_copy_no_debug = NoCopyNoDebug(1);
[ no_copy_no_debug == NoCopyNoDebug(3) ] => "Assertion failed: no_copy_no_debug == NoCopyNoDebug(3)\nWith captures:\n no_copy_no_debug = N/A\n"
);
// Unevaluated (Expression short-circuited)
common::test!(
let mut elem = true;
[ false && elem ] => "Assertion failed: false && elem\nWith captures:\n elem = N/A\n"
);
}
|
