Enum PathCheck

Source

pub enum PathCheck {
    Exact,
    Resolution,
}

Expand description

Determines how paths are hashed and compared for equality.

Variants§

§

Exact

Paths must match exactly and are hashed by their exact HIR tree.

Thus, std::iter::Iterator and Iterator are not considered equal even though they refer to the same item.

§

Resolution

Paths are compared and hashed based on their resolution.

They can appear different in the HIR tree but are still considered equal and have equal hashes as long as they refer to the same item.

Note that this is currently only partially implemented specifically for paths that are resolved before type-checking, i.e. the final segment must have a non-error resolution. If a path with an error resolution is encountered, it falls back to the default exact matching behavior.

PathCheck

Enum PathCheck Copy item path

Variants§

Exact

Resolution

Trait Implementations§

impl Clone for PathCheck

fn clone(&self) -> PathCheck

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

impl Debug for PathCheck

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

impl Default for PathCheck

fn default() -> PathCheck

impl Copy for PathCheck

Auto Trait Implementations§

impl Freeze for PathCheck

impl RefUnwindSafe for PathCheck

impl Send for PathCheck

impl Sync for PathCheck

impl Unpin for PathCheck

impl UnwindSafe for PathCheck

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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, 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> 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>

Layout§

Enum PathCheck

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

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>,