Function hax_frontend_exporter::traits::solve_trait
source ยท 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.