a single diagnostic with multiple annotations

Author: AlexWaygood

crates/ty_python_semantic/resources/mdtest/directives/assert_never.md

@@ -60,7 +60,7 @@ def if_else_isinstance_error(obj: A | B):
     elif isinstance(obj, C):
         pass
     else:
-        # error: [type-assertion-failure] "Argument does not have expected type `Never`"
+        # error: [type-assertion-failure] "Argument does not have asserted type `Never`"
         assert_never(obj)
 
 def if_else_singletons_success(obj: Literal[1, "a"] | None):
@@ -81,7 +81,7 @@ def if_else_singletons_error(obj: Literal[1, "a"] | None):
     elif obj is None:
         pass
     else:
-        # error: [type-assertion-failure] "Argument does not have expected type `Never`"
+        # error: [type-assertion-failure] "Argument does not have asserted type `Never`"
         assert_never(obj)
 
 def match_singletons_success(obj: Literal[1, "a"] | None):
@@ -94,7 +94,7 @@ def match_singletons_success(obj: Literal[1, "a"] | None):
             pass
         case _ as obj:
             # TODO: Ideally, we would not emit an error here
-            # error: [type-assertion-failure] "Argument does not have expected type `Never`"
+            # error: [type-assertion-failure] "Argument does not have asserted type `Never`"
             assert_never(obj)
 
 def match_singletons_error(obj: Literal[1, "a"] | None):
@@ -108,6 +108,6 @@ def match_singletons_error(obj: Literal[1, "a"] | None):
         case _ as obj:
             # TODO: We should emit an error here, but the message should
             # show the type `Literal["a"]` instead of `@Todo(…)`.
-            # error: [type-assertion-failure] "Argument does not have expected type `Never`"
+            # error: [type-assertion-failure] "Argument does not have asserted type `Never`"
             assert_never(obj)
 ```

crates/ty_python_semantic/resources/mdtest/snapshots/assert_never.md_-_`assert_never`_-_Basic_functionality.snap

@@ -33,214 +33,157 @@ mdtest path: crates/ty_python_semantic/resources/mdtest/directives/assert_never.
 # Diagnostics
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
  --> src/mdtest_snippet.py:7:5
   |
 5 |     assert_never(never)  # fine
 6 |
 7 |     assert_never(0)  # error: [type-assertion-failure]
-  |     ^^^^^^^^^^^^^^^ Expected object of type `Never`
-8 |     assert_never("")  # error: [type-assertion-failure]
-9 |     assert_never(None)  # error: [type-assertion-failure]
-  |
-info: Inferred type is not equivalent to `Never`
- --> src/mdtest_snippet.py:7:18
-  |
-5 |     assert_never(never)  # fine
-6 |
-7 |     assert_never(0)  # error: [type-assertion-failure]
-  |                  ^ Inferred type of argument is `Literal[0]`
+  |     ^^^^^^^^^^^^^-^
+  |                  |
+  |                  Inferred type of argument is `Literal[0]`
 8 |     assert_never("")  # error: [type-assertion-failure]
 9 |     assert_never(None)  # error: [type-assertion-failure]
   |
+info: `Never` and `Literal[0]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:8:5
    |
  7 |     assert_never(0)  # error: [type-assertion-failure]
  8 |     assert_never("")  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^ Expected object of type `Never`
- 9 |     assert_never(None)  # error: [type-assertion-failure]
-10 |     assert_never([])  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:8:18
-   |
- 7 |     assert_never(0)  # error: [type-assertion-failure]
- 8 |     assert_never("")  # error: [type-assertion-failure]
-   |                  ^^ Inferred type of argument is `Literal[""]`
+   |     ^^^^^^^^^^^^^--^
+   |                  |
+   |                  Inferred type of argument is `Literal[""]`
  9 |     assert_never(None)  # error: [type-assertion-failure]
 10 |     assert_never([])  # error: [type-assertion-failure]
    |
+info: `Never` and `Literal[""]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:9:5
    |
  7 |     assert_never(0)  # error: [type-assertion-failure]
  8 |     assert_never("")  # error: [type-assertion-failure]
  9 |     assert_never(None)  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^^^ Expected object of type `Never`
-10 |     assert_never([])  # error: [type-assertion-failure]
-11 |     assert_never({})  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:9:18
-   |
- 7 |     assert_never(0)  # error: [type-assertion-failure]
- 8 |     assert_never("")  # error: [type-assertion-failure]
- 9 |     assert_never(None)  # error: [type-assertion-failure]
-   |                  ^^^^ Inferred type of argument is `None`
+   |     ^^^^^^^^^^^^^----^
+   |                  |
+   |                  Inferred type of argument is `None`
 10 |     assert_never([])  # error: [type-assertion-failure]
 11 |     assert_never({})  # error: [type-assertion-failure]
    |
+info: `Never` and `None` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:10:5
    |
  8 |     assert_never("")  # error: [type-assertion-failure]
  9 |     assert_never(None)  # error: [type-assertion-failure]
 10 |     assert_never([])  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^ Expected object of type `Never`
-11 |     assert_never({})  # error: [type-assertion-failure]
-12 |     assert_never(())  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:10:18
-   |
- 8 |     assert_never("")  # error: [type-assertion-failure]
- 9 |     assert_never(None)  # error: [type-assertion-failure]
-10 |     assert_never([])  # error: [type-assertion-failure]
-   |                  ^^ Inferred type of argument is `list[Unknown]`
+   |     ^^^^^^^^^^^^^--^
+   |                  |
+   |                  Inferred type of argument is `list[Unknown]`
 11 |     assert_never({})  # error: [type-assertion-failure]
 12 |     assert_never(())  # error: [type-assertion-failure]
    |
+info: `Never` and `list[Unknown]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:11:5
    |
  9 |     assert_never(None)  # error: [type-assertion-failure]
 10 |     assert_never([])  # error: [type-assertion-failure]
 11 |     assert_never({})  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^ Expected object of type `Never`
-12 |     assert_never(())  # error: [type-assertion-failure]
-13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:11:18
-   |
- 9 |     assert_never(None)  # error: [type-assertion-failure]
-10 |     assert_never([])  # error: [type-assertion-failure]
-11 |     assert_never({})  # error: [type-assertion-failure]
-   |                  ^^ Inferred type of argument is `dict[Unknown, Unknown]`
+   |     ^^^^^^^^^^^^^--^
+   |                  |
+   |                  Inferred type of argument is `dict[Unknown, Unknown]`
 12 |     assert_never(())  # error: [type-assertion-failure]
 13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
    |
+info: `Never` and `dict[Unknown, Unknown]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:12:5
    |
 10 |     assert_never([])  # error: [type-assertion-failure]
 11 |     assert_never({})  # error: [type-assertion-failure]
 12 |     assert_never(())  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^ Expected object of type `Never`
-13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:12:18
-   |
-10 |     assert_never([])  # error: [type-assertion-failure]
-11 |     assert_never({})  # error: [type-assertion-failure]
-12 |     assert_never(())  # error: [type-assertion-failure]
-   |                  ^^ Inferred type of argument is `tuple[()]`
+   |     ^^^^^^^^^^^^^--^
+   |                  |
+   |                  Inferred type of argument is `tuple[()]`
 13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
    |
+info: `Never` and `tuple[()]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:13:5
    |
 11 |     assert_never({})  # error: [type-assertion-failure]
 12 |     assert_never(())  # error: [type-assertion-failure]
 13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Expected object of type `Never`
-14 |
-15 |     assert_never(any_)  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:13:18
-   |
-11 |     assert_never({})  # error: [type-assertion-failure]
-12 |     assert_never(())  # error: [type-assertion-failure]
-13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
-   |                  ^^^^^^^^^^^^^^^^^^^^ Inferred type of argument is `Literal[1]`
+   |     ^^^^^^^^^^^^^--------------------^
+   |                  |
+   |                  Inferred type of argument is `Literal[1]`
 14 |
 15 |     assert_never(any_)  # error: [type-assertion-failure]
    |
+info: `Never` and `Literal[1]` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:15:5
    |
 13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
 14 |
 15 |     assert_never(any_)  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^^^ Expected object of type `Never`
-16 |     assert_never(unknown)  # error: [type-assertion-failure]
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:15:18
-   |
-13 |     assert_never(1 if flag else never)  # error: [type-assertion-failure]
-14 |
-15 |     assert_never(any_)  # error: [type-assertion-failure]
-   |                  ^^^^ Inferred type of argument is `Any`
+   |     ^^^^^^^^^^^^^----^
+   |                  |
+   |                  Inferred type of argument is `Any`
 16 |     assert_never(unknown)  # error: [type-assertion-failure]
    |
+info: `Never` and `Any` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```
 
 ```
-error[type-assertion-failure]: Argument does not have expected type `Never`
+error[type-assertion-failure]: Argument does not have asserted type `Never`
   --> src/mdtest_snippet.py:16:5
    |
 15 |     assert_never(any_)  # error: [type-assertion-failure]
 16 |     assert_never(unknown)  # error: [type-assertion-failure]
-   |     ^^^^^^^^^^^^^^^^^^^^^ Expected object of type `Never`
-   |
-info: Inferred type is not equivalent to `Never`
-  --> src/mdtest_snippet.py:16:18
-   |
-15 |     assert_never(any_)  # error: [type-assertion-failure]
-16 |     assert_never(unknown)  # error: [type-assertion-failure]
-   |                  ^^^^^^^ Inferred type of argument is `Unknown`
+   |     ^^^^^^^^^^^^^-------^
+   |                  |
+   |                  Inferred type of argument is `Unknown`
    |
+info: `Never` and `Unknown` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```

crates/ty_python_semantic/resources/mdtest/snapshots/assert_type.md_-_`assert_type`_-_Basic.snap

@@ -28,16 +28,11 @@ error[type-assertion-failure]: Argument does not have asserted type `str`
 3 | def _(x: int):
 4 |     assert_type(x, int)  # fine
 5 |     assert_type(x, str)  # error: [type-assertion-failure]
-  |     ^^^^^^^^^^^^^^^^^^^ Expected object of type `str`
-  |
-info: Asserted type is not equivalent to the inferred type
- --> src/mdtest_snippet.py:5:17
-  |
-3 | def _(x: int):
-4 |     assert_type(x, int)  # fine
-5 |     assert_type(x, str)  # error: [type-assertion-failure]
-  |                 ^ Inferred type of argument is `int`
+  |     ^^^^^^^^^^^^-^^^^^^
+  |                 |
+  |                 Inferred type of argument is `int`
   |
+info: `str` and `int` are not equivalent types
 info: rule `type-assertion-failure` is enabled by default
 
 ```