Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add "type_name" support in emulate_intrinsic() #61399

Closed
wants to merge 26 commits into from
Closed
Changes from 1 commit
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
d3d82b0
Add "type_name" support in emulate_intrinsic()
TankhouseAle May 31, 2019
271cf97
Fix whitespace, change "value" to "name_val"
TankhouseAle May 31, 2019
67b3fde
Add a test, as suggested.
TankhouseAle May 31, 2019
d0cc41d
Do an actual check with assert_eq, as suggested.
TankhouseAle May 31, 2019
d6e63a3
Adapt implementation to "deterministic type_name"
TankhouseAle May 31, 2019
cce1392
We need "tcx.tcx", not just "tcx"
TankhouseAle Jun 1, 2019
82215e2
The last commit certainly didn't do what I thought it did.
TankhouseAle Jun 1, 2019
0f0ad45
Can't have ConstValue without ConstValue!
TankhouseAle Jun 1, 2019
892bc65
Move a brace up to be more consistent.
TankhouseAle Jun 2, 2019
19a3814
Add the suggested utility function to type_name.rs
TankhouseAle Jun 3, 2019
11da537
Use the new function to implement type_name
TankhouseAle Jun 3, 2019
78d5c38
Use Immediate and Pointer, but not ConstValue
TankhouseAle Jun 3, 2019
fe40101
Actually for real use Immediate and Pointer
TankhouseAle Jun 3, 2019
dfb8dbd
Make Tidy happy
TankhouseAle Jun 3, 2019
04736f5
Make Tidy happy
TankhouseAle Jun 3, 2019
c326ef1
Literally just remove a single space
TankhouseAle Jun 3, 2019
a58a557
Don't need to use Pointer if we do name_id.into()
TankhouseAle Jun 3, 2019
04946c7
Add line break as suggested
TankhouseAle Jun 3, 2019
9a0c77c
Use alloc_type_name() in type_name()
TankhouseAle Jun 3, 2019
9b2d648
Maybe it will merge this way?
TankhouseAle Jun 3, 2019
0a9047b
Change this back temporarily
TankhouseAle Jun 3, 2019
c3ef5a5
Merge pull request #2 from rust-lang/master
TankhouseAle Jun 3, 2019
43ba61a
Put my changes back in
TankhouseAle Jun 3, 2019
1c8ce6d
Fix duplicated bounds printing in rustdoc (#4)
TankhouseAle Jun 3, 2019
430f4a6
Update from master
TankhouseAle Jun 3, 2019
bbb209d
Merge pull request #8 from rust-lang/master
TankhouseAle Jun 3, 2019
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 38 additions & 0 deletions src/test/run-pass/ctfe/const-fn-type-name.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
// run-pass

#![feature(core_intrinsics)]
#![feature(const_fn)]
#![allow(dead_code)]

const fn type_name_wrapper<T>(_: &T) -> &'static str {
unsafe { std::intrinsics::type_name::<T>() }
}

struct Struct<TA, TB, TC> {
a: TA,
b: TB,
c: TC,
}

type StructInstantiation = Struct<i8, f64, bool>;

const CONST_STRUCT: StructInstantiation = StructInstantiation {
a: 12,
b: 13.7,
c: false,
};

const CONST_STRUCT_NAME: &'static str = type_name_wrapper(&CONST_STRUCT);

fn main() {
println!("{}", CONST_STRUCT_NAME);

let non_const_struct = StructInstantiation {
a: 87,
b: 65.99,
c: true,
};
let non_const_struct_name = type_name_wrapper(&non_const_struct);

println!("{}", non_const_struct_name);
wesleywiser marked this conversation as resolved.
Show resolved Hide resolved
}