Function solve_trait

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

This is the entrypoint of the solving.