Ryan Soklaski

> If you create completely new, empty project and import numpy, does it work? It does! I just created an empty folder / workspace and created `dummy_file.py` Here is the...

> Hm, is there a file named "numpy" in the workspace No, there is no such file in the work space

>What happens if you hover over numpy or try goto definition on numpy in the import? Hovering over numpy renders the appropriate docstring for numpy. And "go-to-definition" takes me to...

I'm stepping through the work space carefully, and do not see any files named `numpy.py` (I would certainly never name something this...)

First of all, thank you both for your kind help and generous patience! I really appreciate it. > So typing numpy. right after that import yields nothing? It yields nothing....

I tried doing making a fresh clone and creating a new workspace for this project to no avail. Oddly enough other 3rd party libraries, including scipy, seem to work fine

So.. playing around with this more makes me think that this issue is actually associated with my conda environment. I thought that I had successfully reproduced these issues with a...

> but arranging them into sections for scalars, collections, etc (like in our tutorial) would probably be useful I had been thinking this as well, but wasn't sure if restructuring...

> Anything that doesn't break URLs is on the table That is what I was worried about when I suggested expanding the TOC rather than rearrange the strats. Rearranging strategies...

We do have a ([recent](https://github.com/HypothesisWorks/hypothesis/pull/3382)) precedent for parameterizing type-checker tests over python versions 😄 Tests that I can think of: - [ ] Python 3.10+ mypy/pyright should pass current tests...