… with const and mutable `ref` parameters of most types
This is more better implementation of enhancement 12290.
The first implementation dlang#3353 was incomplete, so sadly it had introduced many IFTI regressions - 12403, 13026, 13180, 13223, and 13294.
Eventually I noticed that using typeMerge was wrong. It was the biggest root the regressions.
And, the enhancement 13127 was pointless change. Now it is mostly reverted.

WalterBright added a commit that referenced this pull request

Aug 25, 2014

[REG2.066] Issue 13294 - [IFTI] IFTI fails or works incorrectly for function with const and mutable `ref` parameters of most types

9rnsr pushed a commit to 9rnsr/dmd that referenced this pull request

Aug 26, 2014

[REG2.066] Issue 13294 - [IFTI] IFTI fails or works incorrectly for function with const and mutable `ref` parameters of most types

gulugulubing pushed a commit to gulugulubing/dmd that referenced this pull request

Mar 15, 2026

`typeof(expr, expr)` is an error, so remove sentence about result type.
Add example.
Add rationale for disallowing use of result.