solve_trait

hax_frontend_exporter

Function solve_trait 

Source 
pub fn solve_trait<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    trait_ref: PolyTraitRef<'tcx>,
) -> ImplExpr
Expand description

This is the entrypoint of the solving.