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?