[−][src]Struct ra_ap_hir::SemanticsScope
Fields
db: &'a dyn HirDatabase
Implementations
impl<'a> SemanticsScope<'a>
[src]
pub fn module(&self) -> Option<Module>
[src]
pub fn krate(&self) -> Option<Crate>
[src]
pub fn traits_in_scope(&self) -> FxHashSet<TraitId>
[src]
Note: FxHashSet<TraitId>
should be treated as an opaque type, passed into `Type
pub fn process_all_names(&self, f: &mut dyn FnMut(Name, ScopeDef))
[src]
pub fn speculative_resolve(&self, path: &Path) -> Option<PathResolution>
[src]
Resolve a path as-if it was written at the given scope. This is necessary a heuristic, as it doesn't take hygiene into account.
Trait Implementations
Auto Trait Implementations
impl<'a> !RefUnwindSafe for SemanticsScope<'a>
impl<'a> !Send for SemanticsScope<'a>
impl<'a> !Sync for SemanticsScope<'a>
impl<'a> Unpin for SemanticsScope<'a>
impl<'a> !UnwindSafe for SemanticsScope<'a>
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Any for T where
T: Any,
T: Any,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Cast for T
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Self: CastTo<U>,
U: HasInterner,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,