-
Notifications
You must be signed in to change notification settings - Fork 32
/
transmute-type-parameters.rs
47 lines (36 loc) · 1.12 KB
/
transmute-type-parameters.rs
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
// Tests that `transmute` cannot be called on type parameters.
use std::mem::transmute;
unsafe fn f<T>(x: T) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
unsafe fn g<T>(x: (T, i32)) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
unsafe fn h<T>(x: [T; 10]) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
struct Bad<T> {
f: T,
}
unsafe fn i<T>(x: Bad<T>) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
enum Worse<T> {
A(T),
B,
}
unsafe fn j<T>(x: Worse<T>) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
unsafe fn k<T>(x: Option<T>) {
let _: i32 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
fn main() {}
// ferrocene-annotations: fls_vhpwge5123cm
// Generic Parameters