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

Finalize recommendations for TAITs #40

Closed

nikomatsakis opened this issue May 6, 2022 · 2 comments

Labels

deep-dive-proposal

Contributor

nikomatsakis commented May 6, 2022

Summary

Review (or perhaps create) finalized recommendations for TAIT stabilization (and esp. considering RPIT hacks)

Rationale

Finalizing TAITs is one of our goals

nikomatsakis added the deep-dive-proposal label

Contributor Author

nikomatsakis commented May 6, 2022 •

edited

~~Scheduled for May 20~~ did something else

Contributor

jackh726 commented Oct 7, 2022

We discussed this in a deep dive meeting: https://rust-lang.zulipchat.com/#narrow/stream/326132-t-types.2Fmeetings/topic/2022-09-16.20TAIT.20stabilization.20finalizations

Doc: https://hackmd.io/FNLjLrevQcSKoIDAsf9ivQ#2022-09-16---Status-Update-T-types-Deep-Dive

jackh726 closed this as completed

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