Can these constraints be statically checked with mypy or a language server?

The dtype constraint can with pyright (and presumably others). We're still on older versions of numpy so I don't have first hand knowledge of the shape constraints.