Trait SemanticSolver 

pub trait SemanticSolver<'db>: Database {
    // Provided method
    fn canonic_trait_solutions(
        &'db self,
        canonical_trait: CanonicalTrait<'db>,
        lookup_context: ImplLookupContextId<'db>,
        impl_type_bounds: BTreeMap<ImplTypeById<'db>, TypeId<'db>>,
    ) -> Result<SolutionSet<'db, CanonicalImpl<'db>>, InferenceError<'db>> { ... }
}

Trait for solver-related semantic queries.

Provided Methods

fn canonic_trait_solutions( &'db self, canonical_trait: CanonicalTrait<'db>, lookup_context: ImplLookupContextId<'db>, impl_type_bounds: BTreeMap<ImplTypeById<'db>, TypeId<'db>>, ) -> Result<SolutionSet<'db, CanonicalImpl<'db>>, InferenceError<'db>>

Returns the solution set for a canonical trait.

Implementors

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