On 05/13/2015 02:16 PM, Idan Arye wrote: >> > > I think the `in` contracts check should be statically dispatched, so > that only the contracts relevant to the reference-type you are calling > the method from will be checked. https://issues.dlang.org/show_bug.cgi?id=6857