| module test10993; |
| |
| import core.demangle : demangleType; |
| |
| auto foo(T)(T a) |
| { |
| static immutable typeof(a) q; |
| // pragma(msg, "foo: " ~ typeof(q).mangleof); |
| return q; |
| } |
| |
| struct test(alias fn) |
| { |
| bool ini = true; |
| void* p; |
| } |
| |
| auto fun() |
| { |
| auto x = foo!()(test!(a=>a)()); |
| // pragma(msg, "fun: " ~ typeof(x).mangleof); |
| |
| return x; |
| } |
| |
| void main() |
| { |
| const x = fun(); |
| enum mangle_x = typeof(x).mangleof; |
| // pragma(msg, "x : " ~ mangle_x); |
| auto y = cast()x; |
| enum mangle_y = typeof(y).mangleof; |
| // pragma(msg, "y : " ~ mangle_y); |
| enum demangle_x = demangleType(mangle_x); |
| enum demangle_y = demangleType(mangle_y); |
| static assert ("immutable(" ~ demangle_y ~ ")" == demangle_x); |
| } |
