• d-bugmail puremagic.com (27/27) Apr 05 2021 https://issues.dlang.org/show_bug.cgi?id=21801

d-bugmail puremagic.com writes:

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

          Issue ID: 21801
           Summary: std.typecons.ReplaceType does not work for `in`
                    parameters
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: major
          Priority: P1
         Component: phobos
          Assignee: nobody puremagic.com
          Reporter: johanengelen weka.io

Failing testcase:
```
import std.typecons;

void foo() {
    static assert(is(ReplaceType!(int, float, int function(in long, ref const
int)) ==
            float function(in long, ref const float)));
    static assert(is(ReplaceType!(int, float, int function(long, in int*)) ==
            float function(long, in float*)));
}
```

Problem related to https://github.com/dlang/phobos/pull/7570

--