Trait MaybeQPath 

pub trait MaybeQPath<'a>: Copy {
    // Required method
    fn opt_qpath(self) -> Option<(&'a QPath<'a>, HirId)>;

    // Provided methods
    fn opt_lang_path(self) -> Option<LangItem> { ... }
    fn res<'tcx>(self, typeck: &impl MaybeTypeckRes<'tcx>) -> Res { ... }
    fn res_if_named<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
        name: Symbol,
    ) -> Res { ... }
    fn res_with_seg<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
    ) -> (Res, Option<&'a PathSegment<'a>>) { ... }
    fn typeless_res<'tcx>(self, typeck: &impl MaybeTypeckRes<'tcx>) -> Res { ... }
    fn typeless_res_if_named<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
        name: Symbol,
    ) -> Res { ... }
    fn ty_rel_def<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
    ) -> Option<(DefKind, DefId)> { ... }
    fn ty_rel_def_if_named<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
        name: Symbol,
    ) -> Option<(DefKind, DefId)> { ... }
    fn ty_rel_def_with_seg<'tcx>(
        self,
        typeck: &impl MaybeTypeckRes<'tcx>,
    ) -> Option<((DefKind, DefId), &'a PathSegment<'a>)> { ... }
}

A HIR node which might be a QPath.

Required Methods

fn opt_qpath(self) -> Option<(&'a QPath<'a>, HirId)>

If this node is a path gets both the contained path and the HirId to use for type dependant lookup.

Provided Methods

fn opt_lang_path(self) -> Option<LangItem>

If this node is a QPath::LangItem gets the item it resolves to.

fn res<'tcx>(self, typeck: &impl MaybeTypeckRes<'tcx>) -> Res

If this is a path gets its resolution. Returns Res::Err otherwise.

fn res_if_named<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, name: Symbol, ) -> Res

If this is a path with the specified name as its final segment gets its resolution. Returns Res::Err otherwise.

fn res_with_seg<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, ) -> (Res, Option<&'a PathSegment<'a>>)

If this is a path gets both its resolution and final segment.

fn typeless_res<'tcx>(self, typeck: &impl MaybeTypeckRes<'tcx>) -> Res

If this is a path without an explicit Self type gets its resolution. Returns Res::Err otherwise.

Only paths to trait items can optionally contain a Self type.

fn typeless_res_if_named<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, name: Symbol, ) -> Res

If this is a path without an explicit Self type to an item with the specified name gets its resolution. Returns Res::Err otherwise.

Only paths to trait items can optionally contain a Self type.

fn ty_rel_def<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, ) -> Option<(DefKind, DefId)>

If this is a type-relative path gets the definition it resolves to.

Only inherent associated items require a type-relative path.

fn ty_rel_def_if_named<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, name: Symbol, ) -> Option<(DefKind, DefId)>

If this is a type-relative path to an item with the specified name gets the definition it resolves to.

Only inherent associated items require a type-relative path.

fn ty_rel_def_with_seg<'tcx>( self, typeck: &impl MaybeTypeckRes<'tcx>, ) -> Option<((DefKind, DefId), &'a PathSegment<'a>)>

If this is a type-relative path gets the definition it resolves to and its final segment.

Only inherent associated items require a type-relative path.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'tcx> MaybeQPath<'tcx> for &'tcx Expr<'_>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx> MaybeQPath<'tcx> for &'tcx PatExpr<'_>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx> MaybeQPath<'tcx> for &Pat<'tcx>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx> MaybeQPath<'tcx> for (&'tcx QPath<'tcx>, HirId)

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx, AmbigArg> MaybeQPath<'tcx> for &'tcx Ty<'_, AmbigArg>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx, T: Copy + MaybeQPath<'tcx>> MaybeQPath<'tcx> for &Option<T>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

impl<'tcx, T: MaybeQPath<'tcx>> MaybeQPath<'tcx> for Option<T>

fn opt_qpath(self) -> Option<(&'tcx QPath<'tcx>, HirId)>

Implementors