| // run-pass | |
| #![feature(core_intrinsics)] | |
| use std::any::type_name; | |
| struct Bar<M>(M); | |
| impl<M> Bar<M> { | |
| fn foo(&self) -> &'static str { | |
| fn f() {} | |
| fn type_name_of<T>(_: T) -> &'static str { | |
| type_name::<T>() | |
| } | |
| type_name_of(f) | |
| } | |
| } | |
| fn main() { | |
| assert_eq!(Bar(()).foo(), "issue_61894::Bar<_>::foo::f"); | |
| } |