New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Extend MIR with type assertions #55

Open

Tracked by

nikomatsakis opened this issue Jun 2, 2022 · 0 comments

Open

Tracked by

Extend MIR with type assertions #55

nikomatsakis opened this issue Jun 2, 2022 · 0 comments

Contributor

nikomatsakis commented Jun 2, 2022 •

edited

Loading

Real MIR carries "user type assertions" that correspond to pattern annotations and the like. We need to add that to a-mir-formality.

@lcnr has recently been fixing bugs in those and is probably well-equipped to advise here.

nikomatsakis mentioned this issue

issue-25860 spike #22

Open

9 tasks

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