April 07, 2023

Here: https://github.com/dlang/dmd/pull/15085

The tests failed and I'm going through them.

Apparently the problem I'm trying to solve is part of the spec.

../dmd/generated/linux/release/64/dmd -run tools/dspec_tester.d --compiler=../dmd/generated/linux/release/64/dmd
        struct S(T) {}
        alias A(T) = S!T;

        static assert(is(A!int : S!T, T));
        static assert(!is(A!int : A!T, T));

__stdin.d(5): Error: static assert:  `!is(S!int : A!T, __isexp_id3, T)` is false

What do I do now? static assert(!is(A!int : A!T, T)); must be removed before my PR can pass the tests, and maybe changed to static assert(is(A!int : A!T, T)); if the PR gets accepted.

Should I open an PR to remove it first?