added boolean condition warnings: overlap, redundancy, == True

three ty lints on truthiness tests:

- `overlapping-condition` — the branch a condition selects is reached by
  more than one kind of member, so it cannot tell them apart. only the
  selected branch is analysed (`if a` truthy, `if not a` falsy), and
  members of one class (or two where one derives the other) count as one
  kind
- `redundant-condition` — the tested value's own type fixes the outcome.
  restricted to a value read: ty folding a comparison or call is the
  statically-known-branch machinery doing its job
- `redundant-boolean-comparison` — `a == True` where `a` is a `bool`

`ConditionTruthiness` adds a fourth state to `Truthiness`: artificial,
for a constant the checker's model of the build produced rather than the
program's types — `TYPE_CHECKING`, `sys.version_info`, `sys.platform`,
`os.name`. a redundant-condition report on one of those would be wrong

two options tune the overlap check:
`analysis.overlapping-condition-exempt-types` drops members of the named
classes, and `analysis.overlapping-condition-assume-truthy-instances`
takes a class with no `__bool__`/`__len__` at face value

Author: KotlinIsland

crates/ruff_db/src/diagnostic/mod.rs

@@ -1009,6 +1009,27 @@ pub enum DiagnosticId {
     /// A glob pattern doesn't follow the expected syntax.
     InvalidGlob,
 
+    /// A class name in the configuration isn't spelled like one.
+    ///
+    /// ## Why is this bad?
+    /// An option that takes class names matches them literally, so a malformed entry silently
+    /// matches nothing. Whether a well-formed name resolves to a class that exists is not checked
+    /// — only that it *could* be one.
+    ///
+    /// ## Example
+    /// ```toml
+    /// [analysis]
+    /// overlapping-condition-exempt-types = ["list[int]"]
+    /// ```
+    ///
+    /// Use instead:
+    ///
+    /// ```toml
+    /// [analysis]
+    /// overlapping-condition-exempt-types = ["list"]
+    /// ```
+    InvalidClassName,
+
     /// An `include` glob without any patterns.
     ///
     /// ## Why is this bad?
@@ -1137,6 +1158,7 @@ impl DiagnosticId {
             DiagnosticId::RevealedType => "revealed-type",
             DiagnosticId::UnknownRule => "unknown-rule",
             DiagnosticId::InvalidGlob => "invalid-glob",
+            DiagnosticId::InvalidClassName => "invalid-class-name",
             DiagnosticId::EmptyInclude => "empty-include",
             DiagnosticId::UnnecessaryOverridesSection => "unnecessary-overrides-section",
             DiagnosticId::UselessOverridesSection => "useless-overrides-section",