https://issues.dlang.org/show_bug.cgi?id=14886

--- Comment #3 from Kenji Hara <[email protected]> ---
Reduced test case:

@property ref T front(T)(T[] a)
{
    return a[0];
}

template ElementType(R)
{
    static if (is(typeof(R.init.front.init) T))
        alias ElementType = T;
    else
        alias ElementType = void;
}

void main()
{
    alias R = int[100_000];
    alias E = ElementType!R;

}

--

Reply via email to