Trait ImplAliasSemantic 

pub trait ImplAliasSemantic<'db>: Database {
    // Provided methods
    fn impl_alias_impl_def(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Maybe<ImplDefId<'db>> { ... }
    fn impl_alias_semantic_diagnostics(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Diagnostics<'db, SemanticDiagnostic<'db>> { ... }
    fn impl_alias_resolved_impl(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Maybe<ImplId<'db>> { ... }
    fn impl_alias_generic_params(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Maybe<Vec<GenericParam<'db>>> { ... }
    fn impl_alias_resolver_data(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Maybe<Arc<ResolverData<'db>>> { ... }
    fn impl_alias_attributes(
        &'db self,
        id: ImplAliasId<'db>,
    ) -> Maybe<&'db [Attribute<'db>]> { ... }
}

Trait for impl-alias-related semantic queries.

Provided Methods

fn impl_alias_impl_def(&'db self, id: ImplAliasId<'db>) -> Maybe<ImplDefId<'db>>

Returns the impl definition pointed to by the impl alias, or an error if it points to something else.

fn impl_alias_semantic_diagnostics( &'db self, id: ImplAliasId<'db>, ) -> Diagnostics<'db, SemanticDiagnostic<'db>>

Returns the semantic diagnostics of a type alias.

fn impl_alias_resolved_impl( &'db self, id: ImplAliasId<'db>, ) -> Maybe<ImplId<'db>>

Returns the resolved type of a type alias.

fn impl_alias_generic_params( &'db self, id: ImplAliasId<'db>, ) -> Maybe<Vec<GenericParam<'db>>>

Returns the generic parameters of a type alias.

fn impl_alias_resolver_data( &'db self, id: ImplAliasId<'db>, ) -> Maybe<Arc<ResolverData<'db>>>

Returns the resolution resolved_items of a type alias.

fn impl_alias_attributes( &'db self, id: ImplAliasId<'db>, ) -> Maybe<&'db [Attribute<'db>]>

Returns the attributes attached to the impl alias.

Implementors

impl<'db, T: Database + ?Sized> ImplAliasSemantic<'db> for T