Skip to content

move EarlyBinder into ImplTraitHeader #121852

Closed
@lcnr

Description

@lcnr

tcx.impl_trait_header currently returns EarlyBinder<ImplTraitHeader>. Move this EarlyBinder into the ImplTraitHeader to only wrap the TraitRef:

pub struct ImplTraitHeader<'tcx> {
    pub trait_ref: EarlyBinder<TraitRef<'tcx>>,
    pub polarity: ImplPolarity,
    pub unsafety: Unsafety,
}

Metadata

Metadata

Assignees

Labels

A-type-systemArea: Type systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-help-wantedCall for participation: Help is requested to fix this issue.E-mediumCall for participation: Medium difficulty. Experience needed to fix: Intermediate.T-typesRelevant to the types team, which will review and decide on the PR/issue.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions