Skip to content

Commit 70fbca2

Browse files
committed
Fix intrinsic::transmute::<_, <uninhabited>>(...)
1 parent f02d135 commit 70fbca2

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/intrinsics.rs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -296,6 +296,9 @@ pub fn codegen_intrinsic_call<'a, 'tcx: 'a>(
296296
"unreachable" => {
297297
trap_unreachable(fx, "[corruption] Called intrinsic::unreachable.");
298298
}
299+
"transmute" => {
300+
trap_unreachable(fx, "[corruption] Called intrinsic::transmute with uninhabited argument.");
301+
}
299302
_ => unimplemented!("unsupported instrinsic {}", intrinsic),
300303
}
301304
return;

0 commit comments

Comments
 (0)