Skip to content

🛠 use interned refs to goals/clauses instead of boxes #49054

Closed
@nikomatsakis

Description

@nikomatsakis

In #48985, @scalexm added types for goals/clauses to use in the experimental lowering. That code used a Box to enable recursion. The typical thing for us to do is to use interning, as described briefly in this comment. There are FIXMEs in the code.

Metadata

Metadata

Assignees

Labels

C-cleanupCategory: PRs that clean code up or issues documenting cleanup.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.WG-traitsWorking group: Traits, https://internals.rust-lang.org/t/announcing-traits-working-group/6804

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions