Zeina Migeed

prevent graph mutation in constraint generation

1

Stack from [ghstack](https://github.com/ezyang/ghstack) (oldest at bottom): * __->__ #83109 * #83087 * #82938 * #82923

[bm_raytrace.py.zip](https://github.com/mvitousek/reticulated/files/1996708/bm_raytrace.py.zip) The attached benchmark runs in Python3 but gives the following error when running in Reticulated: if result is None or candidateT < result[1]: ^ Cannot index into a value...

It seems that Reticulated skips the init function argument checks in the function body. In the following class definition: ``` @fields({'my_dict': Dict(Int, Tuple(Int, Int))}) class UnionFind: def __init__(self:UnionFind, my_dict:Dict(Int, Tuple(Int,...

I tried to give a variable an Expr type and ran with reticulated. Code: ``` from ast import Expr def x(f:Expr): return f ``` Error: NameError: name 'Expr' is not...

It seems that this part of the code will never be executed because there is a return False statement, so the part below will never be reached. : ``` else:...

I keep getting this error whenever I have an import statement with * Ex: file.py from sys import * fails with error: WARNING: Unable to import type definitions from executefeed1...

Splicing a list is not working when it's a field of a class.

1

When creating a class, initially setting one if it's fields to None/Empty list then mutating the value of that field to a list and try to splice it, I get...

Recognition of typevars obtained by attribute-access imported modules

2

``` class A: pass instance = A() B = type("B", (), {"i": instance}) ``` expected: typechecks got: ``` ERROR 5:5-9: No matching overload found for function `type.__new__`, reporting errors for...

Adding project_excludes config wipes the default directories

1

### Describe the Bug We default to excluding things like venv or .github. Defining a project_excludes in a config by default wipes those options. However, a user may want to...

### Describe the Bug ``` from typing import reveal_type def f(x): x = 3 # E: `Literal[3]` is not assignable to variable `x` with type `str` x = "None" reveal_type(x)...