Function hax_frontend_exporter::solve_trait

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

Function hax_frontend_exporter::solve_traitCopy item path