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)));
}