Trait Key 

pub(crate) trait Key {
    type KeyIndex;

    // Required methods
    fn crate_num(self) -> CrateNum;
    fn to_index(self) -> Self::KeyIndex;
    fn name(self, tcx: TyCtxt<'_>) -> String;
}

Trait to deal with the fact that assoc_refinmenents_of and assoc_refinements_def use FluxId<K> as key;

Required Associated Types

type KeyIndex

Required Methods

fn crate_num(self) -> CrateNum

fn to_index(self) -> Self::KeyIndex

fn name(self, tcx: TyCtxt<'_>) -> String

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl Key for DefId

type KeyIndex = DefIndex

fn crate_num(self) -> CrateNum

fn to_index(self) -> Self::KeyIndex

fn name(self, tcx: TyCtxt<'_>) -> String

impl Key for FluxDefId

type KeyIndex = FluxId<DefIndex>

fn crate_num(self) -> CrateNum

fn to_index(self) -> Self::KeyIndex

fn name(self, tcx: TyCtxt<'_>) -> String

Implementors