7 // cdb-check:r1 : (0xa..0xc) [Type: core::ops::range::Range<u32>]
9 // cdb-check:r2 : (0x14..0x1e) [Type: core::ops::range::Range<u64>]
14 // cdb-check:r1 : (0x9..0x64) [Type: core::ops::range::Range<u32>]
16 // cdb-check:r2 : (0xc..0x5a) [Type: core::ops::range::Range<u64>]
21 // cdb-check:o1 : Some [Type: enum$<core::option::Option<u32> >]
22 // cdb-check: [variant] : Some
23 // cdb-check: [+0x004] __0 : 0x4d2 [Type: [...]]
25 // cdb-check:o2 : Some [Type: enum$<core::option::Option<u64> >]
26 // cdb-check: [variant] : Some
27 // cdb-check: [+0x008] __0 : 0x162e [Type: unsigned __int64]
32 // cdb-check:t1 : (0xa, 0x14) [Type: tuple$<u32,u32>]
33 // cdb-check: [0] : 0xa [Type: unsigned int]
34 // cdb-check: [1] : 0x14 [Type: unsigned int]
36 // cdb-check:t2 : (0x1e, 0x28) [Type: tuple$<u64,u64>]
37 // cdb-check: [0] : 0x1e [Type: unsigned __int64]
38 // cdb-check: [1] : 0x28 [Type: unsigned __int64]
43 // cdb-check:s : "this is a static str" [Type: str]
44 // cdb-check: [len] : 0x14 [Type: unsigned [...]]
50 // cdb-check:s : { len=0x5 } [Type: slice$<u8>]
51 // cdb-check: [len] : 0x5 [Type: unsigned [...]]
52 // cdb-check: [0] : 0x1 [Type: unsigned char]
53 // cdb-check: [1] : 0x2 [Type: unsigned char]
54 // cdb-check: [2] : 0x3 [Type: unsigned char]
55 // cdb-check: [3] : 0x4 [Type: unsigned char]
56 // cdb-check: [4] : 0x5 [Type: unsigned char]
60 fn range(r1: Range<u32>, r2: Range<u64>) {
64 fn range_mut(mut r1: Range<u32>, mut r2: Range<u64>) {
76 fn option(o1: Option<u32>, o2: Option<u64>) {
80 fn tuple(t1: (u32, u32), t2: (u64, u64)) {
95 range(10..12, 20..30);
96 range_mut(9..20, 12..80);
97 option(Some(1234), Some(5678));
98 tuple((10, 20), (30, 40));
99 str("this is a static str");
100 slice(&[1, 2, 3, 4, 5]);