⬆️ Update vitest monorepo to v2 (major)

.yarn/versions/942403b3.yml

@@ -0,0 +1,5 @@
+releases:
+ "@fast-check/vitest": patch
+
+declined:
+ - fast-check

packages/fast-check/package.json

@@ -63,15 +63,15 @@
  "@fast-check/poisoning": "workspace:*",
  "@microsoft/api-extractor": "^7.47.0",
  "@types/node": "^20.14.10",
- "@vitest/coverage-v8": "^1.6.0",
+ "@vitest/coverage-v8": "^2.0.1",
  "cross-env": "^7.0.3",
  "glob": "^11.0.0",
  "not-node-buffer": "npm:buffer@^6.0.3",
  "regexp-tree": "^0.1.27",
  "replace-in-file": "^8.1.0",
  "typedoc": "^0.26.3",
  "typescript": "~5.5.3",
- "vitest": "^1.6.0"
+ "vitest": "^2.0.1"
  },
  "keywords": [
  "property-based testing",

packages/fast-check/test/e2e/NoStackOverflowOnShrink.spec.ts

@@ -23,7 +23,7 @@ const callStackSizeWithMargin = 2 * callStackSize;
 
 // Configure arbitraries and provide them with a maximal length much greater than the default one
 // This value is hardcoded in order to avoid variations from one env to another and ease replays in case of problem
-const maxDepthForArrays = 120_000;
+const maxDepthForArrays = 50_000;
 
 // Not all the shrunk values of a given generated value will be asked
 // The aim is to check if asking for the first maxShrinksToAsk might trigger unwanted stack overflows

packages/fast-check/test/unit/__test-helpers__/Mocked.ts

@@ -5,7 +5,8 @@ type MockableFunction = (...args: any[]) => any;
 type ArgumentsOf<T> = T extends (...args: infer A) => any ? A : never;
 type ConstructorArgumentsOf<T> = T extends new (...args: infer A) => any ? A : never;
 
-export interface MockWithArgs<T extends MockableFunction> extends MockInstance<ArgumentsOf<T>, ReturnType<T>> {
+export interface MockWithArgs<T extends MockableFunction>
+ extends MockInstance<(...args: ArgumentsOf<T>) => ReturnType<T>> {
  new (...args: ConstructorArgumentsOf<T>): T;
  (...args: ArgumentsOf<T>): ReturnType<T>;
 }
@@ -17,7 +18,7 @@ type PropertyKeysOf<T> = {
  [K in keyof T]: T[K] extends MockableFunction ? never : K;
 }[keyof T];
 type MaybeMockedConstructor<T> = T extends new (...args: any[]) => infer R
- ? MockInstance<ConstructorArgumentsOf<T>, R>
+ ? MockInstance<(...args: ConstructorArgumentsOf<T>) => R>
  : T;
 type MockedFunction<T extends MockableFunction> = MockWithArgs<T> & {
  [K in keyof T]: T[K];

packages/fast-check/test/unit/arbitrary/_internals/AdapterArbitrary.spec.ts

@@ -22,7 +22,7 @@ describe('AdapterArbitrary', () => {
  generate.mockReturnValueOnce(value);
  const { instance: mrng } = fakeRandom();
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation((v) => ({ adapted: false, value: v }));
 
  // Act
@@ -54,7 +54,7 @@ describe('AdapterArbitrary', () => {
  generate.mockReturnValueOnce(value);
  const { instance: mrng } = fakeRandom();
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation(() => ({ adapted: true, value: vAdapted }));
 
  // Act
@@ -89,7 +89,7 @@ describe('AdapterArbitrary', () => {
  const { instance, canShrinkWithoutContext } = fakeArbitrary();
  canShrinkWithoutContext.mockReturnValueOnce(canShrink);
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation(() => ({ adapted: hasToAdapt, value: vA }));
 
  // Act
@@ -129,7 +129,7 @@ describe('AdapterArbitrary', () => {
  canShrinkWithoutContext.mockReturnValue(canShrinkIfAdapted);
  const { instance: mrng } = fakeRandom();
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation((v) => (Object.is(v, vA) ? adaptedA : Object.is(v, vAA) ? adaptedAA : adaptedAB));
 
  // Act
@@ -221,7 +221,7 @@ describe('AdapterArbitrary', () => {
  canShrinkWithoutContext.mockReturnValueOnce(canShrinkIfAdapted);
  const { instance: mrng } = fakeRandom();
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation((v) =>
  Object.is(v, vA)
  ? adaptedA
@@ -287,7 +287,7 @@ describe('AdapterArbitrary', () => {
  const { instance, generate, shrink, canShrinkWithoutContext } = fakeArbitrary();
  shrink.mockReturnValueOnce(Stream.of(valueAA, valueAB));
  const adapterFunction = vi
- .fn<[any], AdapterOutput<any>>()
+ .fn<(arg0: any) => AdapterOutput<any>>()
  .mockImplementation((v) => (Object.is(v, vAA) ? adaptedAA : adaptedAB));
 
  // Act

packages/fast-check/test/unit/arbitrary/_internals/ArrayArbitrary.spec.ts

@@ -354,7 +354,9 @@ describe('ArrayArbitrary', () => {
  const minLength = Math.min(Math.max(0, value.length - offsetMin), maxGeneratedLength);
  const maxLength = Math.max(Math.min(MaxLengthUpperBound, value.length + offsetMax), maxGeneratedLength);
  const { instance, canShrinkWithoutContext } = fakeArbitrary();
- canShrinkWithoutContext.mockImplementation((vTest) => value.find((v) => Object.is(v[0], vTest))![1]);
+ canShrinkWithoutContext.mockImplementation(
+ (vTest): vTest is any => value.find((v) => Object.is(v[0], vTest))![1],
+ );
  const data: any[] = [];
  const customSet: CustomSet<Value<any>> = {
  size: () => data.length,

packages/fast-check/test/unit/arbitrary/_internals/IntegerArbitrary.spec.ts

@@ -95,8 +95,7 @@ describe('IntegerArbitrary', () => {
  }
  nextInt.mockReturnValueOnce(mid); // Remark: this value will most of the time be outside of requested range
  const biasNumericRange = vi.spyOn(BiasNumericRangeMock, 'biasNumericRange') as unknown as MockInstance<
- [min: number, max: number, logLike: (n: number) => number],
- { min: number; max: number }[]
+ (min: number, max: number, logLike: (n: number) => number) => { min: number; max: number }[]
  >;
  biasNumericRange.mockReturnValueOnce(ranges);
 

packages/fast-check/test/unit/arbitrary/_internals/mappers/PatternsToString.spec.ts

@@ -32,7 +32,7 @@ describe('patternsToStringUnmapperFor', () => {
  // Arrange
  const sourceChunksSet = new Set(sourceChunks);
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => sourceChunksSet.has(value as string));
+ canShrinkWithoutContext.mockImplementation((value): value is string => sourceChunksSet.has(value as string));
 
  // Act
  const unmapper = patternsToStringUnmapperFor(instance, constraints);
@@ -52,7 +52,7 @@ describe('patternsToStringUnmapperFor', () => {
  // Arrange
  const sourceChunksSet = new Set(sourceChunks);
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => sourceChunksSet.has(value as string));
+ canShrinkWithoutContext.mockImplementation((value): value is string => sourceChunksSet.has(value as string));
 
  // Act / Assert
  const unmapper = patternsToStringUnmapperFor(instance, constraints);
@@ -70,7 +70,7 @@ describe('patternsToStringUnmapperFor', () => {
  // Arrange
  const sourceChunksSet = new Set(sourceChunks);
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => sourceChunksSet.has(value as string));
+ canShrinkWithoutContext.mockImplementation((value): value is string => sourceChunksSet.has(value as string));
  const source = sourceMods.map((mod) => sourceChunks[mod % sourceChunks.length]).join('');
 
  // Act
@@ -99,7 +99,7 @@ describe('patternsToStringUnmapperFor', () => {
  // Arrange
  const sourceChunksSet = new Set(sourceChunks);
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => sourceChunksSet.has(value as string));
+ canShrinkWithoutContext.mockImplementation((value): value is string => sourceChunksSet.has(value as string));
  const source = sourceMods.map((mod) => sourceChunks[mod % sourceChunks.length]).join('');
  const constraints = {
  minLength: Math.max(0, sourceMods.length - constraintsMinOffset),

packages/fast-check/test/unit/arbitrary/_internals/mappers/WordsToLorem.spec.ts

@@ -42,7 +42,7 @@ describe('wordsToJoinedStringUnmapperFor', () => {
  // Arrange
  const { instance: wordsArbitrary, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world', 'winter', 'summer'].includes(value),
  );
 
  // Act
@@ -57,7 +57,7 @@ describe('wordsToJoinedStringUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello,', 'world,', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello,', 'world,', 'winter', 'summer'].includes(value),
  );
 
  // Act
@@ -72,7 +72,7 @@ describe('wordsToJoinedStringUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello,', 'world,', 'spring', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello,', 'world,', 'spring', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -85,7 +85,9 @@ describe('wordsToJoinedStringUnmapperFor', () => {
  fc.property(wordsArrayArbitrary, (words) => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => typeof value === 'string' && words.includes(value));
+ canShrinkWithoutContext.mockImplementation(
+ (value): value is string => typeof value === 'string' && words.includes(value),
+ );
 
  // Act
  const mapped = wordsToJoinedStringMapper(words);
@@ -120,7 +122,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance: wordsArbitrary, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world', 'winter', 'summer'].includes(value),
  );
 
  // Act
@@ -135,7 +137,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello,', 'world,', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello,', 'world,', 'winter', 'summer'].includes(value),
  );
 
  // Act
@@ -150,7 +152,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world,', 'spring', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world,', 'spring', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -163,7 +165,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -176,7 +178,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -189,7 +191,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world,', 'winter', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -202,7 +204,7 @@ describe('wordsToSentenceUnmapperFor', () => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
  canShrinkWithoutContext.mockImplementation(
- (value) => typeof value === 'string' && ['hello', 'world,', 'winter,', 'summer'].includes(value),
+ (value): value is string => typeof value === 'string' && ['hello', 'world,', 'winter,', 'summer'].includes(value),
  );
 
  // Act / Assert
@@ -216,7 +218,9 @@ describe('wordsToSentenceUnmapperFor', () => {
  fc.property(wordsArrayArbitrary, (words) => {
  // Arrange
  const { instance, canShrinkWithoutContext } = fakeArbitrary<string>();
- canShrinkWithoutContext.mockImplementation((value) => typeof value === 'string' && words.includes(value));
+ canShrinkWithoutContext.mockImplementation(
+ (value): value is string => typeof value === 'string' && words.includes(value),
+ );
 
  // Act
  const mapped = wordsToSentenceMapper(words);

packages/vitest/package.json

@@ -47,7 +47,7 @@
  "fast-check": "^3.0.0"
  },
  "peerDependencies": {
- "vitest": ">=0.28.1 <1.0.0 || ^1"
+ "vitest": ">=0.28.1 <1.0.0 || ^1 || ^2"
  },
  "devDependencies": {
  "@babel/core": "^7.24.7",
@@ -60,7 +60,7 @@
  "jest": "^29.7.0",
  "typescript": "~5.5.3",
  "vite": "^5.3.3",
- "vitest": "^1.6.0"
+ "vitest": "^2.0.1"
  },
  "keywords": [
  "vitest",