blob: 05097087d5a811e1c07a8e36bb50b755aa0941e6 (
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
44
45
46
47
48
49
50
51
|
// compile-flags: -Z print-type-sizes --crate-type=lib
// build-pass
// ignore-pass
// ^-- needed because `--pass check` does not emit the output needed.
// FIXME: consider using an attribute instead of side-effects.
// This file illustrates how generics are handled: types have to be
// monomorphized, in the MIR of the original function in which they
// occur, to have their size reported.
#[derive(Copy, Clone)]
pub struct Pair<T> {
_car: T,
_cdr: T,
}
impl<T> Pair<T> {
fn new(a: T, d: T) -> Self {
Pair {
_car: a,
_cdr: d,
}
}
}
#[derive(Copy, Clone)]
pub struct SevenBytes([u8; 7]);
pub struct FiftyBytes([u8; 50]);
pub struct ZeroSized;
impl SevenBytes {
fn new() -> Self { SevenBytes([0; 7]) }
}
impl FiftyBytes {
fn new() -> Self { FiftyBytes([0; 50]) }
}
pub fn f1<T:Copy>(x: T) {
let _v: Pair<T> = Pair::new(x, x);
let _v2: Pair<FiftyBytes> =
Pair::new(FiftyBytes::new(), FiftyBytes::new());
}
pub fn start() {
let _b: Pair<u8> = Pair::new(0, 0);
let _s: Pair<SevenBytes> = Pair::new(SevenBytes::new(), SevenBytes::new());
let ref _z: ZeroSized = ZeroSized;
f1::<SevenBytes>(SevenBytes::new());
}
|