1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
|
// run-pass
#![allow(dead_code)]
use std::fmt::Debug;
struct NT(str);
struct DST { a: u32, b: str }
macro_rules! check {
(val: $ty_of:expr, $expected:expr) => {
assert_eq!(type_name_of_val($ty_of), $expected);
};
($ty:ty, $expected:expr) => {
assert_eq!(std::any::type_name::<$ty>(), $expected);
};
}
fn main() {
// type_name should support unsized types
check!([u8], "[u8]");
check!(str, "str");
check!(dyn Send, "dyn core::marker::Send");
check!(NT, "issue_21058::NT");
check!(DST, "issue_21058::DST");
check!(&i32, "&i32");
check!(&'static i32, "&i32");
check!((i32, u32), "(i32, u32)");
check!(val: foo(), "issue_21058::Foo");
check!(val: Foo::new, "issue_21058::Foo::new");
check!(val:
<Foo as Debug>::fmt,
"<issue_21058::Foo as core::fmt::Debug>::fmt"
);
check!(val: || {}, "issue_21058::main::{{closure}}");
bar::<i32>();
}
trait Trait {
type Assoc;
}
impl Trait for i32 {
type Assoc = String;
}
fn bar<T: Trait>() {
check!(T::Assoc, "alloc::string::String");
check!(T, "i32");
}
fn type_name_of_val<T>(_: T) -> &'static str {
std::any::type_name::<T>()
}
#[derive(Debug)]
struct Foo;
impl Foo {
fn new() -> Self { Foo }
}
fn foo() -> impl Debug {
Foo
}
|
