Function hax_frontend_exporter::solve_trait

pub fn solve_trait<'tcx, S: BaseState<'tcx> + HasOwnerId>(
    s: &S,
    trait_ref: PolyTraitRef<'tcx>,
) -> ImplExpr

Expand description

This is the entrypoint of the solving.

Function hax_frontend_exporter::solve_traitCopy item path