-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
support higher-ranked types for chalk #49810
Copy link
Copy link
Closed
Labels
A-trait-systemArea: Trait systemArea: Trait systemC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Metadata
Metadata
Assignees
Labels
A-trait-systemArea: Trait systemArea: Trait systemC-enhancementCategory: An issue proposing an enhancement or a PR with one.Category: An issue proposing an enhancement or a PR with one.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.
Type
Fields
Give feedbackNo fields configured for issues without a type.
As discussed in the WG-traits planning meeting today, we need to decide how we will represent higher-ranked types in rustc. We decided to try for using debruijn indexing more universally, much as it is done in chalk. The plan is to generalize the existing
CanonicalVarso that it represents a "bound" thing -- probably it just gets unified withDebruijnIndex. This will take a few steps, each of which I plan to describe in its own sub-issue:Binderfields (cleanup Binder fields #49814)DebruijnIndex0-based (Refactor DebruijnIndex to be 0-based #49813)CanonicalVarandDebruijnIndex(UnifyCanonicalVarandDebruijnIndex#49887)