Skip to content

Make substs(), input_types(), etc on PolyTraitRef preserve the binding level #20664

Closed
@nikomatsakis

Description

@nikomatsakis

These accessors allow you to skip past the binder in a very lightweight way. This is a bad thing, since the binder is significant. We should refactor them away. While we're at it, it'd might be best if the internal field of a Binder was private. We would then add accesses for every PolyFooBar type for the fields of FooBar. These accessors would yield a Binder<T> for those fields that may contain late-bound regions. I've been moving to this model gradually, but we should finish the job.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-type-systemArea: Type systemC-cleanupCategory: PRs that clean code up or issues documenting cleanup.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions