Enum Res 

pub enum Res<Id = !> {
    Def(DefKind, DefId),
    PrimTy(PrimTy),
    SelfTyAlias {
        alias_to: DefId,
        is_trait_impl: bool,
    },
    SelfTyParam {
        trait_: DefId,
    },
    Param(ParamKind, Id),
    GlobalFunc(SpecFuncKind),
    NumConst(i128),
    Err,
}

The resolution of a path

The enum contains a subset of the variants in [rustc_hir::def::Res] plus some extra variants for extra resolutions found in refinements.

Variants

Def(DefKind, DefId)

See [rustc_hir::def::Res::Def]

PrimTy(PrimTy)

See [rustc_hir::def::Res::PrimTy]

SelfTyAlias

See [rustc_hir::def::Res::SelfTyAlias]

Fields

alias_to: DefId

is_trait_impl: bool

SelfTyParam

See [rustc_hir::def::Res::SelfTyParam]

Fields

trait_: DefId

Param(ParamKind, Id)

A refinement parameter, e.g., declared with @n syntax

GlobalFunc(SpecFuncKind)

A refinement function defined with defs!

NumConst(i128)

A hack used to resolve u32::MAX ans similar.

Err

Implementations

impl<Id> Res<Id>

pub fn descr(&self) -> &'static str

pub fn is_box(&self, tcx: TyCtxt<'_>) -> bool

pub fn ns(&self) -> Option<Namespace>

Returns None if this is Res::Err

pub fn matches_ns(&self, ns: Namespace) -> bool

Always returns true if self is Res::Err

pub fn map_param_id<R>(self, f: impl FnOnce(Id) -> R) -> Res<R>

pub fn expect_param(self) -> (ParamKind, Id)

Trait Implementations

impl<Id: Clone> Clone for Res<Id>

fn clone(&self) -> Res<Id>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Id: Debug> Debug for Res<Id>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Id: PartialEq> PartialEq for Res<Id>

fn eq(&self, other: &Res<Id>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Id1, Id2> TryFrom<Res<Id1>> for Res<Id2>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(res: Res<Id1>) -> Result<Self, Self::Error>

Performs the conversion.

impl<Id: Copy> Copy for Res<Id>

impl<Id: Eq> Eq for Res<Id>

impl<Id> StructuralPartialEq for Res<Id>