Watch 1,369
Star 32,671
Fork 5,404

rust-lang/rust

Code Issues 4,537 Pull requests 173 Projects 4 Insights

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.

Pick a username

Email Address

Password

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

Labels Milestones

Clear current search query, filters, and sorts

6 Open 5 Closed

Author

Filter by author

Labels

Filter by label

Projects

Filter by project

Milestones

Filter by milestone

Assignee

Filter by who’s assigned

Sort

Sort by

Newest

Oldest

Recently updated

Least recently updated

Most reactions

high-level rustc-guide docs on chalk-integration A-traits T-compiler WG-compiler-traits chalk-integration

#55100 opened Oct 15, 2018 by nikomatsakis

implement "instantiation" methods in chalk integration impl A-traits T-compiler WG-compiler-traits chalk-integration

#55098 by nikomatsakis was closed Nov 25, 2018

implement "lifetime juggling" methods from chalk integration trait A-traits T-compiler WG-compiler-traits chalk-integration

#55097 opened Oct 15, 2018 by nikomatsakis

implement `is_coinductive` chalk callback A-traits E-mentor T-compiler WG-compiler-traits chalk-integration

#55096 opened Oct 15, 2018 by nikomatsakis

implement the `ResolventOps` methods for chalk integration A-traits T-compiler WG-compiler-traits chalk-integration

#54935 by nikomatsakis was closed Nov 30, 2018

Unify `CanonicalVar` and `DebruijnIndex` A-traits C-enhancement T-compiler WG-compiler-traits chalk-integration

#49887 by nikomatsakis was closed Oct 21, 2018

support higher-ranked types for chalk A-traits C-enhancement T-compiler WG-compiler-traits chalk-integration

#49810 by nikomatsakis was closed Nov 25, 2018 3 of 4

🛠 Extend the "chalk lowering" pass with remaining rules A-traits C-tracking-issue T-compiler WG-compiler-traits chalk-integration

#49177 opened Mar 19, 2018 by nikomatsakis 9 of 11

handle universes in canonicalization A-traits C-enhancement T-lang WG-compiler-traits chalk-integration

#48696 by nikomatsakis was closed Nov 25, 2018

🔬 move to universe-based lifetimes A-lifetimes C-enhancement C-tracking-issue T-compiler WG-compiler-traits chalk-integration

#48536 opened Feb 25, 2018 by nikomatsakis

tracking issue for "chalkification" A-traits C-tracking-issue T-compiler WG-compiler-traits chalk-integration

#48049 opened Feb 7, 2018 by nikomatsakis 2 of 3

ProTip! Updated in the last three days: updated:>2018-12-21.