On Friday, 12 June 2015 at 16:37:51 UTC, Baz wrote: > This can be done yet, manually, at the library level. For > example if every check in a constraint is warped like this: Won't this also trigger during overload resolution?