Skip to content

Support variance checking #2262

Closed as duplicate
Feature
Closed as duplicate
Support variance checking#2262
Feature
Assignees
migeed-z
Labels
typechecking

Description

@migeed-z
migeed-z
opened on Jan 29, 2026

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

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

typechecking

Type

Feature

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions