David Peter aac79e453a [red-knot] Better diagnostics for method calls (#16362) ...

## Summary

Add better error messages and additional spans for method calls. Can be
reviewed commit-by-commit.

before:

```
error: lint:invalid-argument-type
 --> /home/shark/playground/test.py:6:10
  |
5 | c = C()
6 | c.square("hello")  # error: [invalid-argument-type]
  |          ^^^^^^^ Object of type `Literal["hello"]` cannot be assigned to parameter 2 (`x`); expected type `int`
7 |
8 | # import inspect
  |
```

after:

```
error: lint:invalid-argument-type
 --> /home/shark/playground/test.py:6:10
  |
5 | c = C()
6 | c.square("hello")  # error: [invalid-argument-type]
  |          ^^^^^^^ Object of type `Literal["hello"]` cannot be assigned to parameter 2 (`x`) of bound method `square`; expected type `int`
7 |
8 | # import inspect
  |
 ::: /home/shark/playground/test.py:2:22
  |
1 | class C:
2 |     def square(self, x: int) -> int:
  |                      ------ info: parameter declared in function definition here
3 |         return x * x
  |
```

## Test Plan

New snapshot test

2025-02-25 09:58:08 +01:00

..

annotations

[red-knot] Add diagnostic for class-object access to pure instance variables (#16036)

2025-02-24 15:17:16 +01:00

assignment

Refactor CallOutcome to Result (#16161)

2025-02-18 13:34:39 +01:00

binary

[red-knot] Add support for @classmethods (#16305)

2025-02-24 09:55:34 +01:00

boolean

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

boundness_declaredness

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

call

[red-knot] Better diagnostics for method calls (#16362)

2025-02-25 09:58:08 +01:00

comparison

[red-knot] Diagnostics for incorrect bool usages (#16238)

2025-02-21 19:26:05 +01:00

comprehensions

[red-knot] Resolve references in eager nested scopes eagerly (#16079)

2025-02-19 10:22:30 -05:00

conditional

[red-knot] Diagnostics for incorrect bool usages (#16238)

2025-02-21 19:26:05 +01:00

declaration

[red-knot] Avoid undeclared path when raising conflicting declarations (#14958)

2024-12-17 09:49:39 +05:30

diagnostics

[red-knot] Better diagnostics for method calls (#16362)

2025-02-25 09:58:08 +01:00

directives

[red-knot] Add missing imports in mdtests (#15869)

2025-02-03 09:27:29 +00:00

doc

[red-knot] Document 'public type of undeclared symbols' behavior (#16096)

2025-02-12 08:52:11 +01:00

exception

[red-knot] MDTest: Use custom class names instead of builtins (#16269)

2025-02-20 12:25:55 +00:00

expression

[red-knot] Add diagnostic for class-object access to pure instance variables (#16036)

2025-02-24 15:17:16 +01:00

function

[red-knot] function parameter types (#14802)

2024-12-06 12:55:56 -08:00

import

[red-knot] Support re-export conventions for stub files (#16073)

2025-02-14 15:17:51 +05:30

literal

[red-knot] Migrate bool/str/repr unit tests to Markdown tests (#15534)

2025-01-16 11:21:56 -08:00

loops

[red-knot] Diagnostics for incorrect bool usages (#16238)

2025-02-21 19:26:05 +01:00

narrow

Teach red-knot that type(x) is the same as x.__class__ (#16301)

2025-02-21 21:05:48 +00:00

regression

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

scopes

[red-knot] Add diagnostic for class-object access to pure instance variables (#16036)

2025-02-24 15:17:16 +01:00

shadowing

[red-knot] Merge Markdown code blocks inside a single section (#15950)

2025-02-05 22:26:15 +01:00

snapshots

[red-knot] Better diagnostics for method calls (#16362)

2025-02-25 09:58:08 +01:00

stubs

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

subscript

[red-knot] Add support for @classmethods (#16305)

2025-02-24 09:55:34 +01:00

suppressions

[red-knot] Merge Markdown code blocks inside a single section (#15950)

2025-02-05 22:26:15 +01:00

type_of

[red-knot] Method calls and the descriptor protocol (#16121)

2025-02-20 23:22:26 +01:00

type_properties

[red-knot] Generalise special-casing for KnownClasses in Type::bool (#16300)

2025-02-21 20:46:36 +00:00

type_qualifiers

[red-knot] Add missing imports in mdtests (#15869)

2025-02-03 09:27:29 +00:00

unary

[red-knot] Diagnostics for incorrect bool usages (#16238)

2025-02-21 19:26:05 +01:00

with

Refactor CallOutcome to Result (#16161)

2025-02-18 13:34:39 +01:00

.mdformat.toml

[red-knot] have mdformat wrap mdtest files to 100 columns (#14020)

2024-10-31 21:00:51 +00:00

attributes.md

[red-knot] Add diagnostic for class-object access to pure instance variables (#16036)

2025-02-24 15:17:16 +01:00

descriptor_protocol.md

[red-knot] Better diagnostics for method calls (#16362)

2025-02-25 09:58:08 +01:00

final.md

[red-knot] Add support for @final classes (#15070)

2024-12-19 21:02:14 +00:00

generics.md

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

intersection_types.md

[red-knot] Add missing imports in mdtests (#15869)

2025-02-03 09:27:29 +00:00

invalid_syntax.md

[red-knot] Separate invalid syntax code snippets (#14803)

2024-12-06 02:41:33 +00:00

known_constants.md

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

mdtest_config.md

[red-knot] Add missing imports in mdtests (#15869)

2025-02-03 09:27:29 +00:00

mdtest_custom_typeshed.md

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

metaclass.md

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

mro.md

[red-knot] Enforce specifying paths for mdtest code blocks in a separate preceding line (#15890)

2025-02-04 08:27:17 +01:00

pep695_type_aliases.md

[red-knot] Move type_alias_types test to Markdown (#15607)

2025-01-20 09:55:54 +01:00

protocols.md

[red-knot] Method calls and the descriptor protocol (#16121)

2025-02-20 23:22:26 +01:00

slots.md

[red-knot] Add support for @classmethods (#16305)

2025-02-24 09:55:34 +01:00

statically_known_branches.md

[red-knot] Litate tests: minor follow-up (#15987)

2025-02-06 07:15:26 +00:00

sys_platform.md

[red-knot] Method calls and the descriptor protocol (#16121)

2025-02-20 23:22:26 +01:00

sys_version_info.md

[red-knot] Merge Markdown code blocks inside a single section (#15950)

2025-02-05 22:26:15 +01:00

terminal_statements.md

[red-knot] Combine terminal statement support with statically known branches (#15817)

2025-02-05 17:47:49 -05:00

type_api.md

[red-knot] Diagnostics for incorrect bool usages (#16238)

2025-02-21 19:26:05 +01:00

union_types.md

[red-knot] add special case for float/complex (#16166)

2025-02-14 12:24:10 -08:00

unpacking.md

[red-knot] Add missing imports in mdtests (#15869)

2025-02-03 09:27:29 +00:00