Type Inference Bug?

[Daniel Murphy via Digitalmars-d]

"Meta"  wrote in message news:nwskxjncbwqndlkiebwb at 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.