Taus fa61f6f3df Python: Model @typing.overload in method resolution ...

Adds `hasOverloadDecorator` as a predicate on functions. It looks for
decorators called `overload` or `something.overload` (usually
`typing.overload` or `t.overload`). These are then filtered out in the
predicates that (approximate) resolving methods according to the MRO.

As the test introduced in the previous commit shows, this removes the
spurious resolutions we had before.

2026-03-05 22:20:03 +00:00

..

basic

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

callgraph_crosstalk

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

calls

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

calls-overload

Python: Model @typing.overload in method resolution

2026-03-05 22:20:03 +00:00

consistency

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

coverage

Remove double space after $ in inline expectations tests

2026-03-04 14:12:42 +00:00

coverage-py2

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

coverage-py3

Update expected test output column numbers

2026-03-04 15:02:53 +00:00

def-use-flow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

enclosing-callable

Python: update test expectations

2024-09-30 12:00:38 +02:00

exceptions

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

fieldflow

Python: Update globalVariableAttrPathAtDepth base case

2025-09-16 18:08:53 +02:00

global-flow

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

global-or-captured-vars

python: Inline expectation should have space after $

2026-03-04 12:45:05 +00:00

import-star

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

match

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

method-calls

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

model-summaries

python: Inline expectation should have space after $

2026-03-04 12:45:05 +00:00

module-initialization

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

path-graph

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

pep_328

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

qll-private-imports

CI: accept other diagnostic format related test changes

2024-06-19 11:33:50 +02:00

regression

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

sensitive-data

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

strange-essaflow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

summaries

Python: Simple dataflow annotations

2026-02-16 13:48:32 +00:00

summaries-checks

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

tainttracking

python: handle guards compared to boolean literals

2026-02-24 10:00:22 +01:00

typetracking

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

typetracking_imports

Python: Update expected test results

2024-12-03 19:18:57 +01:00

typetracking-summaries

Python: Simple dataflow annotations

2026-02-16 13:48:32 +00:00

use-use-flow

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

variable-capture

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

options

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

testlib.py

Python: Move dataflow tests out of experimental

2024-04-23 09:40:44 +02:00

validTest.py

python: Add test for functional-like programming

2024-10-15 12:54:30 +02:00