On Tuesday, 30 May 2017 at 21:42:03 UTC, Daniel Kozak wrote:
Compiler do many assumptions (it is sometimes useful).

but if compiler find one-to-one correspondence it don't make assumptions, like here?

import std.stdio;

void f(ushort u)
{
    writeln("ushort");
}

void f(ubyte u)
{
    writeln("ubyte");
}

void main()
{
    ushort y = 0;
    immutable ushort x = 0;

    f(y);
    f(x);
}

RESULT IS:
ushort
ushort

or it can?

Reply via email to