This isn't resolved because Requires<> acts on the TraitInfos, where IDisable goes on the traits themselves. This doesn't really need to be explicit anyway, since it will operate fine (by doing nothing) if there are no IDisable implementation.