Alex Waygood 27eee5a1a8 [ty] Support narrowing on isinstance()/issubclass() if the second argument is a dynamic, intersection, union or typevar type (#18900)

2025-06-24 10:55:26 +00:00

..

annotations

…

assignment

…

binary

…

boolean

…

boundness_declaredness

…

call

…

class

…

comparison

…

comprehensions

…

conditional

…

declaration

…

diagnostics

…

directives

…

doc

…

exception

…

expression

…

function

…

generics

…

ide_support

…

import

…

literal

…

loops

…

narrow

…

regression

…

scopes

…

shadowing

…

snapshots

…

stubs

…

subscript

…

suppressions

…

type_compendium

…

type_of

…

type_properties

…

type_qualifiers

…

unary

…

with

…

.mdformat.toml

…

attributes.md

…

cycle.md

…

dataclass_transform.md

…

dataclasses.md

…

decorators.md

…

del.md

…

descriptor_protocol.md

…

final.md

…

intersection_types.md

…

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

…

slots.md

…

statically_known_branches.md

…

sys_platform.md

…

sys_version_info.md

…

terminal_statements.md

…

type_api.md

…

typed_dict.md

…

union_types.md

…

unpacking.md

…

unreachable.md

…