Apply suggestions from code review

Co-authored-by: Carl Meyer <[email protected]>

Author: AlexWaygood

crates/red_knot_python_semantic/src/types.rs

@@ -1386,6 +1386,7 @@ impl<'db> Type<'db> {
                 // are both of type Literal[345], for example.
                 false
             }
+            // We eagerly transform `SubclassOf` to `ClassLiteral` for final types, so `SubclassOf` is never a singleton.
             Type::SubclassOf(..) => false,
             Type::BooleanLiteral(_)
             | Type::FunctionLiteral(..)

crates/red_knot_python_semantic/src/types/subclass_of.rs

@@ -1,6 +1,6 @@
 use super::{ClassBase, ClassLiteralType, Db, KnownClass, Symbol, Type};
 
-/// A type that represents `type[C]`, i.e. the class literal `C` and class literals that are subclasses of `C`.
+/// A type that represents `type[C]`, i.e. the class object `C` and class objects that are subclasses of `C`.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, salsa::Update)]
 pub struct SubclassOfType<'db> {
     // Keep this field private, so that the only way of constructing the struct is through the `from` method.