This rule detects public/protected method or constructor definitions in public types that declare a parameter used inside, but there is no previous validity check performed on it. The rule checks parameters belonging to the unnamed module or belonging to packages explicitly exported (in the module declaration) to all modules or to a module that is not part of the project. Any use of the parameter as a condition in an if or conditional expression, as an argument in a method call, or as a selector expression in a switch will be understood as a validity check. If the parameter is assigned before its use, the check is not needed.