blob: 7e631b7e78987b99e16aa61a6c696a275e9a202d [file] [log] [blame]
 // https://issues.dlang.org/show_bug.cgi?id=22410 alias A(T...) = T; void fun0(const A!(int, string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(const int, const string))); } void fun1(const A!(immutable int, string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(immutable int, const string))); } void fun2(shared A!(int, string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(shared int, shared string))); } void fun3(shared const A!(int, string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(shared const int, shared const string))); } void fun4(inout A!(int, const string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(inout int, inout const string))); } void fun5(ref const A!(int, string) x = A!(1, "asdf")) { static assert(is(typeof(x) == A!(const int, const string))); static assert(__traits(isRef, x[0]) && __traits(isRef, x[1])); } // Implicitly conversion is also fixed, for example: // from (ulong, double) to (int, float) // Integral narrowing here, ulong(uint.max + 1UL) would fail. void fun10(A!(uint, float) x = A!(ulong(uint.max), 3.14)) { static assert(is(typeof(x) == A!(uint, float))); } void fun11(A!(int, double) x = A!(byte(1), 2.5f)) { static assert(is(typeof(x) == A!(int, double))); } void fun12(A!(byte, float) x = A!(1, 'a')) { static assert(is(typeof(x) == A!(byte, float))); } A!(const int, shared char) tup = A!(1, 'a'); void fun13(A!(byte, float) x = tup) { static assert(is(typeof(x) == A!(byte, float))); }