On Thursday, 12 March 2015 at 04:03:44 UTC, Rikki Cattermole wrote: > Of course this would break wards compatibility a little bit, so > maybe a pragma to tell the compiler to include int in ==? > > pragma(aliasIsThis) > struct Ref(T, Owner) { > ... That's not good enough. It'll still fail template constraints.