...to consider
                   |resolution failure          |bounds-checked implicit
                   |                            |conversions for non-deduced
                   |                            |parameter types


--- Comment #1...

...a semantic pass that does the implicit conversions? Could that be used/copied to where...

...syntax sugar, but also
   allow (more) implicit conversions, (explicit) function overrides etc.

So - yes, D...

...same technique can do all kinds of conversions: I
use it to do strings -> calls...

...might use something like Variant, or string
conversions depending on how you got the data...

I think Andrei calls that a polysemous type.

None of those three string types are implicitly convertable to each other.

What might make...

Ahh, thanks. I keep forgetting what the various forms of is() do... sigh.

Another question...

if(is(T : S))

http://dlang.org/expression.html#IsExpression

this is form #2.

http://dlang.org/phobos/std_traits.html#isImplicitlyConvertible

-- 
- Alex