Re: Type Inference Bug?

[Daniel Murphy via Digitalmars-d]

"Meta"  wrote in message news:nwskxjncbwqndlkie...@forum.dlang.org... 

On Friday, 21 November 2014 at 15:29:05 UTC, Daniel Murphy wrote:
> but you could enforce exact type with something like
> if (typeof(i) == shared(U), U) && is(shared(U) == typeof(i))
I'm assuming you meant if (typeof(i): shared(U), U) && 
is(shared(U): typeof(i))).

Probably.