b6a7d21579
Bug was introduced in b99efb because of lack of tests. All code in `AbstractTypeCheckerContextForConstraintSystem.extractTypeVariableForSubtype` related to IN projection looks suspicious and needs further investigation