Trait ImplizationSemantic 

pub trait ImplizationSemantic<'db>: Database {
    // Provided method
    fn trait_type_implized_by_context(
        &'db self,
        trait_type_def_id: TraitTypeId<'db>,
        impl_def_id: ImplDefId<'db>,
    ) -> Maybe<TypeId<'db>> { ... }
}

Trait for implization-related semantic queries.

Provided Methods

fn trait_type_implized_by_context( &'db self, trait_type_def_id: TraitTypeId<'db>, impl_def_id: ImplDefId<'db>, ) -> Maybe<TypeId<'db>>

Returns the impl type for the given trait type, by implization by the given impl context, if the impl matches the trait of the trait type.

Implementors

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