Shunsuke Shibayama 6355389ef6 Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-04 00:36:37 +09:00

..

annotations

Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-01 09:35:15 +09:00

assignment

[ty] Homogeneous and mixed tuples (#18600)

2025-06-20 18:23:54 -04:00

binary

[ty] Homogeneous and mixed tuples (#18600)

2025-06-20 18:23:54 -04:00

boolean

…

boundness_declaredness

…

call

[ty] Allow declared-only class-level attributes to be accessed on the class (#19071)

2025-07-02 18:03:56 +02:00

class

…

comparison

…

comprehensions

…

conditional

[ty] Improve disjointness inference for NominalInstanceTypes and SubclassOfTypes (#18864)

2025-06-24 20:27:37 +00:00

dataclasses

[ty] Restructure/move dataclass tests (#19117)

2025-07-03 10:36:14 +00:00

declaration

[ty] Format conflicting types as an enumeration (#18956)

2025-06-26 14:29:33 +02:00

diagnostics

…

directives

…

doc

…

exception

…

expression

[ty] Make tuple instantiations sound (#18987)

2025-06-27 19:37:16 +01:00

function

…

generics

[ty] Improve protocol member type checking and relation handling (#18847)

2025-06-29 10:46:33 +00:00

ide_support

…

import

[ty] Model reachability of star import definitions for nonlocal lookups (#19066)

2025-07-01 11:06:37 +02:00

literal

…

loops

…

narrow

[ty] Eagerly simplify 'True' and 'False' constraints (#18998)

2025-06-30 13:11:52 +02:00

regression

…

scopes

[ty] Infer nonlocal types as unions of all reachable bindings (#18750)

2025-06-26 12:24:40 +02:00

shadowing

…

snapshots

Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-04 00:36:37 +09:00

stubs

…

subscript

[ty] Fix false positives when subscripting an object inferred as having an Intersection type (#18920)

2025-06-24 18:39:02 +00:00

suppressions

…

type_compendium

[ty] Make tuple instantiations sound (#18987)

2025-06-27 19:37:16 +01:00

type_of

…

type_properties

Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-04 00:36:37 +09:00

type_qualifiers

[ty] Allow declared-only class-level attributes to be accessed on the class (#19071)

2025-07-02 18:03:56 +02:00

unary

…

with

…

.mdformat.toml

…

attributes.md

Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-04 00:36:37 +09:00

cycle.md

…

decorators.md

…

del.md

…

descriptor_protocol.md

…

final.md

…

instance_layout_conflict.md

[ty] Improve disjointness inference for NominalInstanceTypes and SubclassOfTypes (#18864)

2025-06-24 20:27:37 +00:00

intersection_types.md

[ty] eliminate is_fully_static (#18799)

2025-06-24 18:02:05 -07:00

invalid_syntax.md

…

known_constants.md

…

mdtest_config.md

…

mdtest_custom_typeshed.md

…

metaclass.md

…

mro.md

…

named_tuple.md

…

overloads.md

…

pep695_type_aliases.md

…

properties.md

…

protocols.md

Merge remote-tracking branch 'upstream/main' into protocol-property-check

2025-07-04 00:36:37 +09:00

public_types.md

[ty] Infer nonlocal types as unions of all reachable bindings (#18750)

2025-06-26 12:24:40 +02:00

statically_known_branches.md

[ty] Infer nonlocal types as unions of all reachable bindings (#18750)

2025-06-26 12:24:40 +02:00

sys_platform.md

…

sys_version_info.md

…

terminal_statements.md

[ty] Model reachability of star import definitions for nonlocal lookups (#19066)

2025-07-01 11:06:37 +02:00

type_api.md

[ty] eliminate is_fully_static (#18799)

2025-06-24 18:02:05 -07:00

typed_dict.md

…

union_types.md

[ty] eliminate is_fully_static (#18799)

2025-06-24 18:02:05 -07:00

unpacking.md

[ty] Support variable-length tuples in unpacking assignments (#18948)

2025-06-27 15:29:04 -04:00

unreachable.md

[ty] Infer nonlocal types as unions of all reachable bindings (#18750)

2025-06-26 12:24:40 +02:00