Carl Meyer

One option for how to handle this is to extract that code at the end of `self.infer_expression` (that stores a type into the expression map and asserts there wasn't one...

I think this wouldn't be too difficult to implement. I don't expect to have time to do the implementation, but will review a pull request for the feature.

I'm not able to reproduce the results you show. Using Python 3.12 and the latest MonkeyType and the code in your gist (after `pip install scikit-image`), I ran `monkeytype run...

I don't, I'm inclined to just reopen this issue and use it, since it's the same repro case (albeit different output.) When you say "everything's fine on this issue," do...

I think this is Static Python reflecting the idea that `losses` could be a dynamic property which could execute arbitrary code. So once you've accessed it, any guarantees from the...

I agree with most of the proposal, except for > 1. I would suggest to pick an equivalence relation on the more syntactic side of the spectrum of possibilities The...

I think we should probably bump up the priority on this, as I don't think it's that _hard_ (though it does require some design decisions), and it can be a...

Is ty installed in the same system Python that these packages are installed in?

> If you point us to a non-virtual environment using `--python` Or if ty itself is installed in a system Python, we should use that system Python environment

> Unless you want to disable attribute errors anywhere in the code base if accessed on an object with a type from any `astrolpy.*` module. Is this really a feature...