There is a potential issue with how I am setting the parent scope when creating new scopes.
Currently, I am making a copy of the parent scope and setting that on the subscope.
However, this could cause an issue with type constraints since we may need to update an unknown type in a higher scope with new type information we got in a subscope.
There is a potential issue with how I am setting the parent scope when creating new scopes.
Currently, I am making a copy of the parent scope and setting that on the subscope.
However, this could cause an issue with type constraints since we may need to update an unknown type in a higher scope with new type information we got in a subscope.