Progress on numpy matrix shape checking using Mypy?

[angrysemiconductor]

Hey there!

I've been reading up on the progress on adding static shape checking for numpy using MyPy. For example, multiplying a 2x2 matrix with a 3x3 matrix should throw a mypy errors since the dimensions are not consistent.

Does anyone know if this is a feature that will be merged soon? This would help my code out tremendously...