Type Inference Bug?

[Meta via Digitalmars-d]

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))).