Trait SemanticUseEx

pub trait SemanticUseEx<'a>: Upcast<dyn SemanticGroup + 'a> {
    // Provided method
    fn use_resolved_item(&self, use_id: UseId) -> Maybe<ResolvedGenericItem> { ... }
}

Provided Methods

fn use_resolved_item(&self, use_id: UseId) -> Maybe<ResolvedGenericItem>

Returns the resolved item or an error if it can’t be resolved.

This is not a query as the cycle handling is done in priv_use_semantic_data.

Implementors

impl<'a, T: Upcast<dyn SemanticGroup + 'a> + ?Sized> SemanticUseEx<'a> for T