Describe the Bug

We currently support variance inference but not variance checking.

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response