ty-types (original) (raw)

…Concatenate

Bumps ruff submodule to pull in astral-sh/ruff main through ty 0.0.31 (openrewrite/ruff ty-types-2 tip 1f844143e8).

API shim changes:

ProjectDatabase::new → ProjectDatabase::fallible; the constructor now takes a MisconfigurationStrategy, and fallible matches our prior error-propagating behavior.
ClassLiteral gained DynamicTypedDict / DynamicEnum variants; replace the per-variant match in supertypes_from_class_literal with the uniform ClassLiteral::explicit_bases(db), which already handles them.
Type gained a Divergent(DivergentType) cycle marker; folded into the Other fallback alongside DataclassDecorator / BoundSuper.

New wire-protocol fields on ParameterInfo:

concatenatePrefix (bool) — set on leading positional params of a Concatenate[T1, ..., Tn, P] / Concatenate[T1, ..., Tn, ...] signature.
paramSpecName (string) — set on the synthesized *args / **kwargs entries that stand in for a ParamSpec tail, carrying that ParamSpec's name.

Both fields are omitted when absent, so consumers that ignore unknown fields see no change.

TypedDict.extraItems is noted as a TODO in registry.rs: ty's inference-side parsing landed in astral-sh/ruff#24362, but the public accessor on TypedDictType is still unavailable.