I know, I tried that already. It would also be interesting to know if there is a possibility for those two
impls not to be considered conflicting in a future version of specialization, but I haven’t looked into the details of that yet.
Yeah, but why not, in this case? You can’t implement traits for a unique function type, and even if you could I don’t really see why you’d want to, so why doesn’t trait resolution consider the regular fn type?