Overly strict coherence for constrained blanket implementations?

In all cases when I encountered this restriction a sealed LocalTrait would have been useless.