Skip to main content

solve_trait

charon_driver::hax

Function solve_trait 

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

This is the entrypoint of the solving.