Steven Troxler

[mypy parity] We should look at narrowing on dict (and typed dict) .get

1

### Describe the Bug We ran into an issue trying to migrate someone where they wanted to narrow the `.get()` access on a dictionary (where the key was a literal...

[migration] `pyrefly init` has at least some gaps

1

### Describe the Bug I only know of one gap right now, but we can add to this issue if we find more. When migrating a mypy project that had...

[bug] Pyrefly doesn't yet filter non-instance methods when inferring attributes

1

Pyrefly will currently infer the existence of attributes `x` and `y` on instances of `C` here: ``` class C: @classmethod def f0(cls): cls.x = 15 @staticmethod def f0(arg: SomeOtherClass): arg.y...

### Describe the Bug It's probably similar to #173 about `zip()`, but in this case the error happens directly on the call to `map` and is pretty hard to read....

Performance Regression: GC.stat went from < 1s to ~50s in 4.14 -> 5.0

7

When migrating to Ocaml 5.0.0, the Pyre team encountered a major slowdown in `Gc.stat` performance when we were type checking a large Python codebases. In that specific run it went...