Google Colab, also known as Colaboratory, is a free online tool from Google that lets you write and run Python code directly in your browser. It works like Jupyter Notebook but without the hassle of ...

There don't seem to be any tests for mypy.plugins.proper_plugin, which was manually tested for its addition in #16036. Since mypy apparently owns this code, we should test it. I've figured out this ...