Description Stephan Herrmann 2016-12-03 08:26:21 EST

After commit 0e44567ab43ba318d604f2968b7c178862cd5ebd we no longer check for redundant interfaces of roles, because the existing algorithm assumes congruence of AST and binding, which is not given for role.

Hence we should re-implement the same check in a role-specific way, probably somewhere inside copyinheritance.TypeLevel (or here in MethodVerifier, too, but still using a different algorithm).