Skip to content

Commit 7379620

Browse files
committed
Auto merge of #42304 - Mark-Simulacrum:issue-37157, r=nikomatsakis
Print the two types in the span label for transmute errors. Fixes #37157. I'm not entirely happy with the changes here but overall it's better in my opinion; we certainly avoid the odd language in that issue, which changes to: ``` error[E0512]: transmute called with differently sized types: <C as TypeConstructor<'a>>::T (size can vary because of <C as TypeConstructor>::T) to <C as TypeConstructor<'b>>::T (size can vary because of <C as TypeConstructor>::T) --> test.rs:8:5 | 8 | ::std::mem::transmute(x) | ^^^^^^^^^^^^^^^^^^^^^ transmuting between <C as TypeConstructor<'a>>::T and <C as TypeConstructor<'b>>::T error: aborting due to previous error(s) ```
2 parents bd62230 + d09cf46 commit 7379620

17 files changed

+296
-49
lines changed

src/librustc/diagnostics.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -1631,7 +1631,7 @@ fn takes_u8(_: u8) {}
16311631
16321632
fn main() {
16331633
unsafe { takes_u8(::std::mem::transmute(0u16)); }
1634-
// error: transmute called with differently sized types
1634+
// error: transmute called with types of different sizes
16351635
}
16361636
```
16371637

src/librustc/middle/intrinsicck.rs

+10-16
Original file line numberDiff line numberDiff line change
@@ -86,17 +86,16 @@ impl<'a, 'tcx> ExprVisitor<'a, 'tcx> {
8686
// Special-case transmutting from `typeof(function)` and
8787
// `Option<typeof(function)>` to present a clearer error.
8888
let from = unpack_option_like(self.tcx.global_tcx(), from);
89-
match (&from.sty, sk_to) {
90-
(&ty::TyFnDef(..), SizeSkeleton::Known(size_to))
91-
if size_to == Pointer.size(self.tcx) => {
89+
if let (&ty::TyFnDef(..), SizeSkeleton::Known(size_to)) = (&from.sty, sk_to) {
90+
if size_to == Pointer.size(self.tcx) {
9291
struct_span_err!(self.tcx.sess, span, E0591,
93-
"`{}` is zero-sized and can't be transmuted to `{}`",
94-
from, to)
95-
.span_note(span, "cast with `as` to a pointer instead")
92+
"can't transmute zero-sized type")
93+
.note(&format!("source type: {}", from))
94+
.note(&format!("target type: {}", to))
95+
.help("cast with `as` to a pointer instead")
9696
.emit();
9797
return;
9898
}
99-
_ => {}
10099
}
101100
}
102101

@@ -111,7 +110,7 @@ impl<'a, 'tcx> ExprVisitor<'a, 'tcx> {
111110
}
112111
Err(LayoutError::Unknown(bad)) => {
113112
if bad == ty {
114-
format!("size can vary")
113+
format!("this type's size can vary")
115114
} else {
116115
format!("size can vary because of {}", bad)
117116
}
@@ -121,14 +120,9 @@ impl<'a, 'tcx> ExprVisitor<'a, 'tcx> {
121120
};
122121

123122
struct_span_err!(self.tcx.sess, span, E0512,
124-
"transmute called with differently sized types: \
125-
{} ({}) to {} ({})",
126-
from, skeleton_string(from, sk_from),
127-
to, skeleton_string(to, sk_to))
128-
.span_label(span,
129-
format!("transmuting between {} and {}",
130-
skeleton_string(from, sk_from),
131-
skeleton_string(to, sk_to)))
123+
"transmute called with types of different sizes")
124+
.note(&format!("source type: {} ({})", from, skeleton_string(from, sk_from)))
125+
.note(&format!("target type: {} ({})", to, skeleton_string(to, sk_to)))
132126
.emit();
133127
}
134128
}

src/test/compile-fail/E0512.rs

-1
Original file line numberDiff line numberDiff line change
@@ -12,5 +12,4 @@ fn takes_u8(_: u8) {}
1212

1313
fn main() {
1414
unsafe { takes_u8(::std::mem::transmute(0u16)); } //~ ERROR E0512
15-
//~| transmuting between 16 bits and 8 bits
1615
}

src/test/compile-fail/issue-21174.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ trait Trait<'a> {
1515

1616
fn foo<'a, T: Trait<'a>>(value: T::A) {
1717
let new: T::B = unsafe { std::mem::transmute(value) };
18-
//~^ ERROR: transmute called with differently sized types
18+
//~^ ERROR: transmute called with types of different sizes
1919
}
2020

2121
fn main() { }

src/test/compile-fail/issue-28625.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ struct ArrayPeano<T: Bar> {
1717
}
1818

1919
fn foo<T>(a: &ArrayPeano<T>) -> &[T] where T: Bar {
20-
unsafe { std::mem::transmute(a) } //~ ERROR transmute called with differently sized types
20+
unsafe { std::mem::transmute(a) } //~ ERROR transmute called with types of different sizes
2121
}
2222

2323
impl Bar for () {

src/test/compile-fail/issue-32377.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ struct Bar<U: Foo> {
2121

2222
fn foo<U: Foo>(x: [usize; 2]) -> Bar<U> {
2323
unsafe { mem::transmute(x) }
24-
//~^ ERROR transmute called with differently sized types
24+
//~^ ERROR transmute called with types of different sizes
2525
}
2626

2727
fn main() {}

src/test/compile-fail/packed-struct-generic-transmute.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
// the error points to the start of the file, not the line with the
1414
// transmute
1515

16-
// error-pattern: transmute called with differently sized types
16+
// error-pattern: transmute called with types of different sizes
1717

1818
use std::mem;
1919

src/test/compile-fail/packed-struct-transmute.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
// the error points to the start of the file, not the line with the
1414
// transmute
1515

16-
// error-pattern: transmute called with differently sized types
16+
// error-pattern: transmute called with types of different sizes
1717

1818
use std::mem;
1919

src/test/compile-fail/transmute-different-sizes.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -17,12 +17,12 @@ use std::mem::transmute;
1717

1818
unsafe fn f() {
1919
let _: i8 = transmute(16i16);
20-
//~^ ERROR transmute called with differently sized types
20+
//~^ ERROR transmute called with types of different sizes
2121
}
2222

2323
unsafe fn g<T>(x: &T) {
2424
let _: i8 = transmute(x);
25-
//~^ ERROR transmute called with differently sized types
25+
//~^ ERROR transmute called with types of different sizes
2626
}
2727

2828
trait Specializable { type Output; }
@@ -33,7 +33,7 @@ impl<T> Specializable for T {
3333

3434
unsafe fn specializable<T>(x: u16) -> <T as Specializable>::Output {
3535
transmute(x)
36-
//~^ ERROR transmute called with differently sized types
36+
//~^ ERROR transmute called with types of different sizes
3737
}
3838

3939
fn main() {}

src/test/compile-fail/transmute-fat-pointers.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -15,11 +15,11 @@
1515
use std::mem::transmute;
1616

1717
fn a<T, U: ?Sized>(x: &[T]) -> &U {
18-
unsafe { transmute(x) } //~ ERROR transmute called with differently sized types
18+
unsafe { transmute(x) } //~ ERROR transmute called with types of different sizes
1919
}
2020

2121
fn b<T: ?Sized, U: ?Sized>(x: &T) -> &U {
22-
unsafe { transmute(x) } //~ ERROR transmute called with differently sized types
22+
unsafe { transmute(x) } //~ ERROR transmute called with types of different sizes
2323
}
2424

2525
fn c<T, U>(x: &T) -> &U {
@@ -31,11 +31,11 @@ fn d<T, U>(x: &[T]) -> &[U] {
3131
}
3232

3333
fn e<T: ?Sized, U>(x: &T) -> &U {
34-
unsafe { transmute(x) } //~ ERROR transmute called with differently sized types
34+
unsafe { transmute(x) } //~ ERROR transmute called with types of different sizes
3535
}
3636

3737
fn f<T, U: ?Sized>(x: &T) -> &U {
38-
unsafe { transmute(x) } //~ ERROR transmute called with differently sized types
38+
unsafe { transmute(x) } //~ ERROR transmute called with types of different sizes
3939
}
4040

4141
fn main() { }

src/test/compile-fail/transmute-impl.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@ impl<T: ?Sized> Foo<T> {
2626

2727
fn n(x: &T) -> &isize {
2828
// Not OK here, because T : Sized is not in scope.
29-
unsafe { transmute(x) } //~ ERROR transmute called with differently sized types
29+
unsafe { transmute(x) } //~ ERROR transmute called with types of different sizes
3030
}
3131
}
3232

src/test/ui/transmute/main.rs

+42
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
// Copyright 2017 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+
11+
// ignore-x86
12+
// ignore-arm
13+
// ignore-emscripten
14+
// ignore 32-bit platforms (test output is different)
15+
16+
#![feature(untagged_unions)]
17+
use std::mem::transmute;
18+
19+
pub trait TypeConstructor<'a> {
20+
type T;
21+
}
22+
23+
unsafe fn transmute_lifetime<'a, 'b, C>(x: <C as TypeConstructor<'a>>::T)
24+
-> <C as TypeConstructor<'b>>::T
25+
where for<'z> C: TypeConstructor<'z> {
26+
transmute(x) //~ ERROR transmute called with types of different sizes
27+
}
28+
29+
unsafe fn sizes() {
30+
let x: u8 = transmute(10u16); //~ ERROR transmute called with types of different sizes
31+
}
32+
33+
unsafe fn ptrs() {
34+
let x: u8 = transmute("test"); //~ ERROR transmute called with types of different sizes
35+
}
36+
37+
union Foo { x: () }
38+
unsafe fn vary() {
39+
let x: Foo = transmute(10); //~ ERROR transmute called with types of different sizes
40+
}
41+
42+
fn main() {}

src/test/ui/transmute/main.stderr

+38
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
error[E0512]: transmute called with types of different sizes
2+
--> $DIR/main.rs:26:5
3+
|
4+
26 | transmute(x) //~ ERROR transmute called with types of different sizes
5+
| ^^^^^^^^^
6+
|
7+
= note: source type: <C as TypeConstructor<'a>>::T (size can vary because of <C as TypeConstructor>::T)
8+
= note: target type: <C as TypeConstructor<'b>>::T (size can vary because of <C as TypeConstructor>::T)
9+
10+
error[E0512]: transmute called with types of different sizes
11+
--> $DIR/main.rs:30:17
12+
|
13+
30 | let x: u8 = transmute(10u16); //~ ERROR transmute called with types of different sizes
14+
| ^^^^^^^^^
15+
|
16+
= note: source type: u16 (16 bits)
17+
= note: target type: u8 (8 bits)
18+
19+
error[E0512]: transmute called with types of different sizes
20+
--> $DIR/main.rs:34:17
21+
|
22+
34 | let x: u8 = transmute("test"); //~ ERROR transmute called with types of different sizes
23+
| ^^^^^^^^^
24+
|
25+
= note: source type: &str (128 bits)
26+
= note: target type: u8 (8 bits)
27+
28+
error[E0512]: transmute called with types of different sizes
29+
--> $DIR/main.rs:39:18
30+
|
31+
39 | let x: Foo = transmute(10); //~ ERROR transmute called with types of different sizes
32+
| ^^^^^^^^^
33+
|
34+
= note: source type: i32 (32 bits)
35+
= note: target type: Foo (0 bits)
36+
37+
error: aborting due to previous error(s)
38+

src/test/compile-fail/transmute-from-fn-item-types-error.rs renamed to src/test/ui/transmute/transmute-from-fn-item-types-error.rs

+10-5
Original file line numberDiff line numberDiff line change
@@ -8,9 +8,14 @@
88
// option. This file may not be copied, modified, or distributed
99
// except according to those terms.
1010

11+
// ignore-x86
12+
// ignore-arm
13+
// ignore-emscripten
14+
// ignore 32-bit platforms (test output is different)
15+
1116
use std::mem;
1217

13-
unsafe fn foo() -> (isize, *const (), Option<fn()>) {
18+
unsafe fn foo() -> (i32, *const (), Option<fn()>) {
1419
let i = mem::transmute(bar);
1520
//~^ ERROR is zero-sized and can't be transmuted
1621
//~^^ NOTE cast with `as` to a pointer instead
@@ -29,8 +34,8 @@ unsafe fn foo() -> (isize, *const (), Option<fn()>) {
2934
unsafe fn bar() {
3035
// Error as usual if the resulting type is not pointer-sized.
3136
mem::transmute::<_, u8>(main);
32-
//~^ ERROR transmute called with differently sized types
33-
//~^^ NOTE transmuting between 0 bits and 8 bits
37+
//~^ ERROR transmute called with types of different sizes
38+
//~^^ NOTE transmuting between fn() {main} and u8
3439

3540
mem::transmute::<_, *mut ()>(foo);
3641
//~^ ERROR is zero-sized and can't be transmuted
@@ -41,7 +46,7 @@ unsafe fn bar() {
4146
//~^^ NOTE cast with `as` to a pointer instead
4247

4348
// No error if a coercion would otherwise occur.
44-
mem::transmute::<fn(), usize>(main);
49+
mem::transmute::<fn(), u32>(main);
4550
}
4651

4752
unsafe fn baz() {
@@ -58,7 +63,7 @@ unsafe fn baz() {
5863
//~^^ NOTE cast with `as` to a pointer instead
5964

6065
// No error if a coercion would otherwise occur.
61-
mem::transmute::<Option<fn()>, usize>(Some(main));
66+
mem::transmute::<Option<fn()>, u32>(Some(main));
6267
}
6368

6469
fn main() {

0 commit comments

Comments
 (0)