Danny Yang

fix Pydantic alias_generator (#2946) Summary: Fixes #2942 teaching Pydantic config parsing to recognize built-in alias generators from pydantic.alias_generators, carry that through model metadata, and synthesize generated __init__ keyword names when a field has no explicit alias. closes https://github.com/facebook/pyrefly/pull/2946 Reviewed By: rchen152, connernilsen Differential Revision: D113289645 fbshipit-source-id: f4b9ca768768a5f4b79e0d46cd9aac982f85472c

Only treat written `*args: Any, **kwargs: Any` as a gradual signature Summary: Per the typing spec, a signature whose `*args` and `**kwargs` are both typed `Any` is equivalent to `...`. Pyrefly detected this by inspecting the (already-substituted) parameter types, so `Proto[Any]` over `*args: T, **kwargs: T` was wrongly treated as gradual and accepted incompatible callables. Record the property at definition time in a `FuncMetadata` flag instead, so an `Any` introduced by type-parameter substitution no longer counts. Fixes the `callables_annotation` conformance mismatch. Reviewed By: rchen152 Differential Revision: D114691415 fbshipit-source-id: bf27b1a34d4426cffee214d77418fe248ed0b5bc

don't offer statement keywords in expression context Summary: if we're in an expression, we don't need to offer keyword completions like try, while, etc. fixes https://github.com/facebook/pyrefly/issues/4067 Reviewed By: ndmitchell Differential Revision: D111056254 fbshipit-source-id: 72ac5f9bd66f088f276e0914e0f5d1342ef644a0

Add options to automatically remove unused baseline entries & error if baseline has unused entries Summary: A baseline check only fails when there are new unsuppressed errors. As code gets fixed, entries in the baseline stop matching anything and nothing notices, so the file can silently drift out of date until someone remembers to rerun `--update-baseline`. To fix this we can track which baseline entries matched an error during a run, and expose the leftovers through two new flags: - `--error-unused` exits non-zero when the baseline has unused entries, so CI fails until the baseline is refreshed. - `--remove-unused` rewrites the baseline with only the entries that still match. Unlike `--update-baseline` it records no new errors, so the set of suppressed errors can only shrink. Both are mutually exclusive with `--update-baseline` and with each other. fixes https://github.com/facebook/pyrefly/issues/4449 part of https://github.com/facebook/pyrefly/issues/4448 Reviewed By: grievejia Differential Revision: D115145149 fbshipit-source-id: 6f25ee68e4c90b0fb8f88503e812fe945020af13

Handle error swallowing context manager in reachability/termination calculation Summary: We can't determine whether a context manager swallows errors at the binding step, so whether or not a raise inside a context manager terminates control flow needs to be deferred to the solving step. This is similar to our mechanisms for handling calls to never-returning functions, and various exhaustiveness checks that depend on the narrowed types. Reviewed By: grievejia Differential Revision: D114761866 fbshipit-source-id: 1dd4f2d06eae2778c59a8b3ff391f474391a1859

Fix mypy config migration Summary: Preserve platform, untyped-body, and follow_imports behavior across mypy config formats. Reviewed By: samwgoldman Differential Revision: D115424186 fbshipit-source-id: dc0565570d6cdf153f708ed54a7843d445d0b74a

Report invalid StrEnum TypedDict assignment keys Summary: TypedDict item assignment already has special handling so valid literal keys and invalid literal keys report TypedDict-specific diagnostics instead of going through `__setitem__`. StrEnum members are string-like but not string literals, so assignments like `td[MyEnum.i] = value` fell through to the generic magic-method path and incorrectly reported that the TypedDict has no `__setitem__`. Keep string-like non-literal keys on the TypedDict assignment path. Uniform extra-item TypedDicts still accept dynamic string keys as before; non-uniform TypedDicts now report that a string literal key is required, which points at the actual key issue instead of suggesting item assignment is unsupported. fixes https://github.com/facebook/pyrefly/issues/4255 Reviewed By: stroxler Differential Revision: D113403263 fbshipit-source-id: 5608c01d3dd3a2c428679568da546c9bcfa0f92c

Read sequence element captures relationally from the narrowed subject Summary: After the facet `isinstance` parent-filter, matching a union of tuples narrows the subject to the matching member, but sibling element captures still read the widened join: `case (str() as x, y)` on `tuple[str, int] | tuple[int, str]` narrows the match subject to `tuple[str, int]`, but `y` still reads from `tuple[str, int] | tuple[int, str]` and has type `int | str` instead of `int` The reason is that a sequence sub-pattern name binds to `UnpackedValue(subject_idx, Index(i))`, and `subject_idx` was narrowed only by `IsSequence + LenEq` -- not by the sibling elements' constraints. The proposed solution in this diff is to fold each leaf sibling element constraint into the subject narrow. A new helper maps a sub-pattern to the atomic narrow op it imposes on its element; these become facet narrows added to the subject's `Narrow` binding. Constraints are derived from the pattern AST, so there is no binding cycle. For https://github.com/facebook/pyrefly/issues/3805 Reviewed By: stroxler Differential Revision: D111908477 fbshipit-source-id: a639d50aecd8e70a8a5a0c4bbe595bcefb0b79b5

skip value completions when typing a keyword-argument name Summary: followup for ttps://github.com/facebook/pyrefly/issues/4063 when we are typing `func(foo=1, ba|)` at the | we know we are typing a keyword argument because preceding argument is a keyword argument, so we don't need to do value completions. Reviewed By: ndmitchell Differential Revision: D111044534 fbshipit-source-id: 77ae2fd481bd18c27b236b4a3fcc6bdd03561bfb

Preserve mypy error settings Summary: Keep strict and allow_redefinition overrides typed through migration, and warn when configured error codes cannot be mapped. Reviewed By: samwgoldman Differential Revision: D115424189 fbshipit-source-id: 56e66d7989675640eb9c8a4da5bd5481a076ccc3