This sort of worked in 4.2, then I banned it but it broke source comaptibility. Now that protocol superclass constraints are fully supported, let's allow this again, with some minor refactoring...