Contravariant and bivariant default to never, else use constraint

Author: molisani

src/compiler/checker.ts

@@ -10150,10 +10150,8 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
             }
             const variance = variances[i];
             switch (variance & VarianceFlags.VarianceMask) {
-                case VarianceFlags.Independent:
-                case VarianceFlags.Bivariant:
-                    return anyType;
                 case VarianceFlags.Contravariant:
+                case VarianceFlags.Bivariant:
                     return neverType;
             }
             return getBaseConstraintOfType(typeParameter) || unknownType;

tests/baselines/reference/accessorsOverrideProperty9.types

@@ -68,7 +68,7 @@ function ApiItemContainerMixin<TBaseClass extends IApiItemConstructor>(
   }
 
   return MixedClass;
->MixedClass : ((abstract new (...args: any[]) => MixedClass) & { prototype: ApiItemContainerMixin<any>.MixedClass; }) & TBaseClass
+>MixedClass : ((abstract new (...args: any[]) => MixedClass) & { prototype: ApiItemContainerMixin<IApiItemConstructor>.MixedClass; }) & TBaseClass
 }
 
 // Subclass inheriting from mixin

tests/baselines/reference/instantiationExpressions.types

@@ -98,8 +98,8 @@ function f3() {
 >f3 : () => void
 
     let c1 = C<string>;  // { new (x: string): C<string>; f<U>(x: U): T[]; prototype: C<unknown>; }
->c1 : { new (x: string): C<string>; prototype: C<any>; f<U>(x: U): U[]; }
->C<string> : { new (x: string): C<string>; prototype: C<any>; f<U>(x: U): U[]; }
+>c1 : { new (x: string): C<string>; prototype: C<unknown>; f<U>(x: U): U[]; }
+>C<string> : { new (x: string): C<string>; prototype: C<unknown>; f<U>(x: U): U[]; }
 >C : typeof C
 
     let f1 = C.f<string>;  // (x: string) => string[]

tests/baselines/reference/overrideBaseIntersectionMethod.types

@@ -6,10 +6,10 @@ type Constructor<T> = new (...args: any[]) => T;
 >args : any[]
 
 const WithLocation = <T extends Constructor<Point>>(Base: T) => class extends Base {
->WithLocation : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<any>.(Anonymous class); } & T
-><T extends Constructor<Point>>(Base: T) => class extends Base {  getLocation(): [number, number] {    const [x,y] = super.getLocation();    return [this.x | x, this.y | y];  }} : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<any>.(Anonymous class); } & T
+>WithLocation : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<Constructor<Point>>.(Anonymous class); } & T
+><T extends Constructor<Point>>(Base: T) => class extends Base {  getLocation(): [number, number] {    const [x,y] = super.getLocation();    return [this.x | x, this.y | y];  }} : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<Constructor<Point>>.(Anonymous class); } & T
 >Base : T
->class extends Base {  getLocation(): [number, number] {    const [x,y] = super.getLocation();    return [this.x | x, this.y | y];  }} : { new (...args: any[]): (Anonymous class); prototype: WithLocation<any>.(Anonymous class); } & T
+>class extends Base {  getLocation(): [number, number] {    const [x,y] = super.getLocation();    return [this.x | x, this.y | y];  }} : { new (...args: any[]): (Anonymous class); prototype: WithLocation<Constructor<Point>>.(Anonymous class); } & T
 >Base : Point
 
   getLocation(): [number, number] {
@@ -58,7 +58,7 @@ class Point {
 class Foo extends WithLocation(Point) {
 >Foo : Foo
 >WithLocation(Point) : WithLocation<typeof Point>.(Anonymous class) & Point
->WithLocation : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<any>.(Anonymous class); } & T
+>WithLocation : <T extends Constructor<Point>>(Base: T) => { new (...args: any[]): (Anonymous class); prototype: WithLocation<Constructor<Point>>.(Anonymous class); } & T
 >Point : typeof Point
 
   calculate() {