Reports any scope restrictions on explicit bindings which are equivalent to a scope annotation on the bound class. Such scope restrictions are redundant, and may cause confusion as programs evolve.