• Elfstone (19/19) Apr 06 2023 Here: https://github.com/dlang/dmd/pull/15085

Elfstone <elfstone yeah.net> writes:

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?