Always try to report missing protocol members

Author: Gatsik

mypy/messages.py

@@ -2137,10 +2137,6 @@ def report_protocol_problems(
         }
         if supertype.type.fullname in exclusions.get(type(subtype), []):
             return
-        if any(isinstance(tp, UninhabitedType) for tp in get_proper_types(supertype.args)):
-            # We don't want to add notes for failed inference (e.g. Iterable[Never]).
-            # This will be only confusing a user even more.
-            return
 
         class_obj = False
         is_module = False
@@ -2197,6 +2193,11 @@ def report_protocol_problems(
             # This is an obviously wrong type: too many missing members
             return
 
+        if any(isinstance(tp, UninhabitedType) for tp in get_proper_types(supertype.args)):
+            # We don't want to add type conflict notes for failed inference (e.g. Iterable[Never]).
+            # This will be only confusing a user even more.
+            return
+
         # Report member type conflicts
         conflict_types = get_conflict_protocol_types(
             subtype, supertype, class_obj=class_obj, options=self.options