blob: 36c74c6cc78492dccf8bd65521a0f55a53c4221a [file] [log] [blame]
exhaustiveBoundedTypeVariableByValue<T extends bool>(T x1, T x2) {}
exhaustiveBoundedTypeVariableByType<T extends bool>(T x1, T x2) {}
nonExhaustiveBoundedTypeVariable<T extends bool>(T x1, T x2) {}
exhaustiveBoundedTypeVariableByBound<T extends bool>(T x1, T x2) {}
nonExhaustiveBoundedTypeVariableByOtherType<T extends bool, S extends bool>(
T x1, T x2) {}
exhaustivePromotedTypeVariableByValue<T>(T x1, T x2) {}
exhaustivePromotedTypeVariableByType<T>(T x1, T x2) {}
nonExhaustivePromotedTypeVariable<T>(T x1, T x2) {}
exhaustivePromotedTypeVariableByBound1<T>(T x1, T x2) {}
nonExhaustivePromotedTypeVariableByOtherType<T, S extends bool>(T x1, T x2) {}