Skip to content

Commit f8c8ad6

Browse files
Remove shim for type_name.
1 parent e1a0f66 commit f8c8ad6

File tree

2 files changed

+5
-8
lines changed

2 files changed

+5
-8
lines changed

src/intrinsic.rs

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -398,14 +398,6 @@ pub trait EvalContextExt<'a, 'mir, 'tcx: 'a+'mir>: crate::MiriEvalContextExt<'a,
398398
)?;
399399
}
400400

401-
"type_name" => {
402-
let ty = substs.type_at(0);
403-
let ty_name = ty.to_string();
404-
let ptr = this.memory_mut().allocate_static_bytes(ty_name.as_bytes(), MiriMemoryKind::Static.into());
405-
let value = Immediate::new_slice(Scalar::Ptr(ptr), ty_name.len() as u64, this);
406-
this.write_immediate(value, dest)?;
407-
}
408-
409401
"unchecked_div" => {
410402
let l = this.read_immediate(args[0])?;
411403
let r = this.read_immediate(args[1])?;

tests/run-pass/intrinsics.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
#![feature(core_intrinsics)]
2+
3+
use std::intrinsics::type_name;
14
use std::mem::{size_of, size_of_val};
25

36
fn main() {
@@ -7,4 +10,6 @@ fn main() {
710
assert_eq!(size_of_val(&[] as &[i32]), 0);
811
assert_eq!(size_of_val(&[1, 2, 3] as &[i32]), 12);
912
assert_eq!(size_of_val("foobar"), 6);
13+
14+
assert_eq!(unsafe { type_name::<Option<i32>>() }, "core::option::Option<i32>");
1015
}

0 commit comments

Comments
 (0)