[thirdparty/gcc.git] / gcc / testsuite / gdc.test / compilable / test10993.d

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);
}
Commit	Line	Data
b4c522fa IB	1	module test10993;
b4c522fa IB	2
5fee5ec3 IB	3	import core.demangle : demangleType;
5fee5ec3 IB	4
b4c522fa IB	5	auto foo(T)(T a)
	6	{
	7	static immutable typeof(a) q;
	8	// pragma(msg, "foo: " ~ typeof(q).mangleof);
	9	return q;
	10	}
	11
	12	struct test(alias fn)
	13	{
	14	bool ini = true;
	15	void* p;
	16	}
	17
	18	auto fun()
	19	{
	20	auto x = foo!()(test!(a=>a)());
	21	// pragma(msg, "fun: " ~ typeof(x).mangleof);
	22
	23	return x;
	24	}
	25
	26	void main()
	27	{
	28	const x = fun();
	29	enum mangle_x = typeof(x).mangleof;
	30	// pragma(msg, "x : " ~ mangle_x);
	31	auto y = cast()x;
	32	enum mangle_y = typeof(y).mangleof;
	33	// pragma(msg, "y : " ~ mangle_y);
5fee5ec3 IB	34	enum demangle_x = demangleType(mangle_x);
	35	enum demangle_y = demangleType(mangle_y);
	36	static assert ("immutable(" ~ demangle_y ~ ")" == demangle_x);
b4c522fa	37	}