Avoid attribute soup by doing attribute-infering for function(s) of template type

[An Pham]

On Wednesday, 29 January 2025 at 21:10:53 UTC, Paul Backus wrote:
> On Wednesday, 29 January 2025 at 20:43:47 UTC, An Pham wrote:
>> Sample below, F.get, get error for class expected but OK for 
>> value type (no indirect type). D needs to do attribute 
>> inference (const nothrow pure @safe) for function(s) within 
>> template type
>
> 1. D already does inference of `@safe`, `pure`, `nothrow`, and 
> `@nogc` for functions within template types. (`const`, however, 
> is _never_ inferred, under any circumstances.)
>
> 2. I don't see anything wrong in your example. Conversion of 
> value types without indirections from `const` to non-`const` is 
> [documented in the language spec.][1]
>
> [1]: 
> https://dlang.org/spec/const3.html#implicit_qualifier_conversions

The problem for 'const' is that it is transitive. Without adding 
it, it has problem using from 'const' caller but adding 'const' 
will prohibit it used in 'class' type