Types.implementation forces unnecessary symbol completion on superinterfaces of a given type Reviewed-by: jjg