A draft PR "IFTI with Alias Templates" is open, help is needed.
Elfstone
elfstone at yeah.net
Fri Apr 7 02:39:48 UTC 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?
More information about the Digitalmars-d
mailing list