Struct PartialRes

Source

pub struct PartialRes {
    base_res: Res<NodeId>,
    unresolved_segments: usize,
}

Expand description

The result of resolving a path before lowering to HIR, with “module” segments resolved and associated item segments deferred to type checking. base_res is the resolution of the resolved part of the path, unresolved_segments is the number of unresolved segments.

module::Type::AssocX::AssocY::MethodOrAssocType
^~~~~~~~~~~~  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
base_res      unresolved_segments = 3

<T as Trait>::AssocX::AssocY::MethodOrAssocType
      ^~~~~~~~~~~~~~  ^~~~~~~~~~~~~~~~~~~~~~~~~
      base_res        unresolved_segments = 2

Fields§

§base_res: Res<NodeId>§unresolved_segments: usize

Struct PartialResCopy item path

Fields§

Implementations§

impl PartialRes

pub fn new(base_res: Res<NodeId>) -> Self

pub fn with_unresolved_segments( base_res: Res<NodeId>, unresolved_segments: usize, ) -> Self

pub fn base_res(&self) -> Res<NodeId>

pub fn unresolved_segments(&self) -> usize

pub fn full_res(&self) -> Option<Res<NodeId>>

pub fn expect_full_res(&self) -> Res<NodeId>

Trait Implementations§

impl Clone for PartialRes

fn clone(&self) -> PartialRes

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

impl Debug for PartialRes

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

impl Copy for PartialRes

Auto Trait Implementations§

impl DynSend for PartialRes

impl DynSync for PartialRes

impl Freeze for PartialRes

impl RefUnwindSafe for PartialRes

impl Send for PartialRes

impl Sync for PartialRes

impl Unpin for PartialRes

impl UnwindSafe for PartialRes

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

Layout§

Struct PartialRes

impl<T> Any for T
where T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,