]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/transmute-different-sizes.rs
New upstream version 1.20.0+dfsg1
[rustc.git] / src / test / compile-fail / transmute-different-sizes.rs
CommitLineData
223e47cc
LB
1// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
1a4d82fc 11// Tests that `transmute` cannot be called on types of different size.
223e47cc 12
1a4d82fc 13#![allow(warnings)]
5bcae85e 14#![feature(specialization)]
223e47cc 15
1a4d82fc 16use std::mem::transmute;
223e47cc 17
1a4d82fc
JJ
18unsafe fn f() {
19 let _: i8 = transmute(16i16);
041b39d2 20 //~^ ERROR transmute called with types of different sizes
223e47cc 21}
1a4d82fc
JJ
22
23unsafe fn g<T>(x: &T) {
24 let _: i8 = transmute(x);
041b39d2 25 //~^ ERROR transmute called with types of different sizes
1a4d82fc
JJ
26}
27
5bcae85e
SL
28trait Specializable { type Output; }
29
30impl<T> Specializable for T {
31 default type Output = u16;
32}
33
34unsafe fn specializable<T>(x: u16) -> <T as Specializable>::Output {
35 transmute(x)
041b39d2 36 //~^ ERROR transmute called with types of different sizes
5bcae85e
SL
37}
38
1a4d82fc 39fn main() {}