Struct TypeRefSite

Source

pub struct TypeRefSite {
    pub pos: SourcePosition,
    pub ori: Arc<Origin>,
    pub name: ModPath,
    pub canonical_scope: ModPath,
    pub def_pos: SourcePosition,
    pub def_ori: Arc<Origin>,
}

Expand description

A textual occurrence of a type reference (e.g. Foo in let x: Foo). Captured by the compiler when a Type::Ref carrying parse-time position info gets dereferenced. def_pos/def_ori point at the type Foo = … declaration site so go-to-def on a type name lands on the typedef.

Fields§

§pos: SourcePosition§ori: Arc<Origin>§name: ModPath

The name as written in source (e.g. Result, array::Foo).

§canonical_scope: ModPath

Canonical scope of the typedef the reference resolved to.

§def_pos: SourcePosition§def_ori: Arc<Origin>

TypeRefSite

Struct TypeRefSite Copy item path

Fields§

Trait Implementations§

impl Clone for TypeRefSite

fn clone(&self) -> TypeRefSite

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

impl Debug for TypeRefSite

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

Auto Trait Implementations§

impl Freeze for TypeRefSite

impl RefUnwindSafe for TypeRefSite

impl Send for TypeRefSite

impl Sync for TypeRefSite

impl Unpin for TypeRefSite

impl UnsafeUnpin for TypeRefSite

impl UnwindSafe for TypeRefSite

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere T: 'a,

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere T: 'a,

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

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

Struct TypeRefSite

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

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

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

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