Implicit conversion to mutable if no indirections?

[Steven Schveighoffer]

On 9/3/22 7:09 AM, Daniel N wrote:
> On Saturday, 3 September 2022 at 01:50:05 UTC, Steven Schveighoffer wrote:
> 
>> It's not just that, there is no syntax to say to IFTI, "if you match 
>> type T, I really want you to use type U". It would actually be nice, 
>> but I don't know how it can be done.
>>
> 
> C++ solved this... maybe we could add this feature to D?
> 
> https://en.cppreference.com/w/cpp/language/class_template_argument_deduction#:~:text=x%7B2.0%2C%201%7D%3B-,User%2Ddefined%20deduction%20guides,-The%20syntax%20of 
> 

Yeah, this would be useful.

-Steve