Function unify

Source
fn unify(a: Variance, b: Variance) -> Variance
Expand description

What is the variance that satisfies the two variances?