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