Function solve_constraints

pub(crate) fn solve_constraints<'tcx>(
    constraints_cx: ConstraintContext<'_, 'tcx>,
) -> CrateVariancesMap<'tcx>