diff options
| -rw-r--r-- | src/librustc_mir/interpret/place.rs | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/librustc_mir/interpret/place.rs b/src/librustc_mir/interpret/place.rs index b16c7ffbffd..5d4976c09bb 100644 --- a/src/librustc_mir/interpret/place.rs +++ b/src/librustc_mir/interpret/place.rs @@ -287,10 +287,15 @@ impl<'tcx, Tag: ::std::fmt::Debug> PlaceTy<'tcx, Tag> { fn mir_assign_valid_types<'tcx>(src: Ty<'tcx>, dest: Ty<'tcx>) -> bool { src == dest || match (&src.kind, &dest.kind) { - // After MIR optimizations, there can be assignments that change reference mutability. (ty::Ref(_, src_pointee, _), ty::Ref(_, dest_pointee, _)) => { + // After optimizations, there can be assignments that change reference mutability. + // This does not affect reference layout, so that is fine. src_pointee == dest_pointee } + (ty::FnPtr(_), ty::FnPtr(_)) => { + // All function pointers have equal layout, and thus can be assigned. + true + } _ => false, } } @@ -882,7 +887,7 @@ where // actually "transmute" `&mut T` to `&T` in an assignment without a cast. assert!( mir_assign_valid_types(src.layout.ty, dest.layout.ty), - "type mismatch when copying!\nsrc: {:?}, dest: {:?}", + "type mismatch when copying!\nsrc: {:?},\ndest: {:?}", src.layout.ty, dest.layout.ty, ); |