Fix for #1550: make sure non-widening rules take covariant type args in fixed (dependent) locations into account
Fix for #1550: make sure we mark calls to mixin super methods as erased if they include a variant type arg in a fixed (dependent) location
Error resilience
Test for #1550: covariant refinement and tuple types