blob: 690decf63928593dafec45cec65c4a95f798f5d1 (
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
|
// normalize-stderr-test "\d+ bits" -> "N bits"
// Tests that `transmute` cannot be called on types of different size.
#![allow(warnings)]
#![feature(specialization)]
use std::mem::transmute;
unsafe fn f() {
let _: i8 = transmute(16i16);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
unsafe fn g<T>(x: &T) {
let _: i8 = transmute(x);
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
trait Specializable { type Output; }
impl<T> Specializable for T {
default type Output = u16;
}
unsafe fn specializable<T>(x: u16) -> <T as Specializable>::Output {
transmute(x)
//~^ ERROR cannot transmute between types of different sizes, or dependently-sized types
}
fn main() {}
|