Printing shortest decimal form of floating point number with Mir

[Ola Fosheim Grøstad]

On Monday, 4 January 2021 at 14:44:00 UTC, Ola Fosheim Grøstad 
wrote:
> On Monday, 4 January 2021 at 14:40:31 UTC, ag0aep6g wrote:
>> You didn't replace "Bar!int" with "Foo!int". You replaced 
>> "Bar!T" with "Foo!T". That's something else entirely.
>
> No, it isn't. When it is instantiated you get "Bar!int" and 
> then the unification would substitute that with "Foo!int".
>
> This is basic type system design. Nothing advanced. Just plain 
> regular unification.
>
> This should even be worth discussing... the fact that it is 
> being debated isn't promising for D's future...

Also, keep in mind that the type isn't "Foo", that is also just a 
name! The true type would be a nominal "struct _ {}". If you 
through alias say that an object has two equivalent names, then 
the type system better behave accordingly.