Skip to content

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

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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

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