Avoid errors with a priori inapplicable protocol bounds

No match.