review feedback

Author: carljm

crates/ty_python_semantic/resources/mdtest/annotations/invalid.md

@@ -99,7 +99,7 @@ async def outer_async():  # avoid unrelated syntax errors on `yield` and `await`
         o: bar(),  # error: [invalid-type-form] "Function calls are not allowed in type expressions"
         p: int | f"foo",  # error: [invalid-type-form] "F-strings are not allowed in type expressions"
         # error: [invalid-type-form] "Slices are not allowed in type expressions"
-        # error: [invalid-type-form] "Cannot subscript object of type"
+        # error: [invalid-type-form] "Invalid subscript"
         q: [1, 2, 3][1:2],
     ):
         reveal_type(a)  # revealed: Unknown

crates/ty_python_semantic/resources/mdtest/annotations/literal.md

@@ -330,7 +330,7 @@ from other import Literal
 # ?
 #
 # error: [invalid-type-form] "Int literals are not allowed in this context in a type expression"
-# error: [invalid-type-form] "Cannot subscript object of type `_SpecialForm` in type expression"
+# error: [invalid-type-form] "Invalid subscript of object of type `_SpecialForm` in type expression"
 a1: Literal[26]
 
 def f():

crates/ty_python_semantic/src/types/infer/builder/type_expression.rs

@@ -903,7 +903,7 @@ impl<'db> TypeInferenceBuilder<'db, '_> {
                 self.infer_type_expression(slice);
                 if let Some(builder) = self.context.report_lint(&INVALID_TYPE_FORM, subscript) {
                     builder.into_diagnostic(format_args!(
-                        "Cannot subscript object of type `{}` in type expression",
+                        "Invalid subscript of object of type `{}` in type expression",
                         value_ty.display(self.db())
                     ));
                 }