phpstan.neon

parameters:
	level: 8

	paths:
		- src

	excludePaths:
		- src/Framework/FileMutator.php

	ignoreErrors:
		- # DomQuery: PHP 8.4 Dom\Element API not in PHPStan stubs
			identifier: method.notFound
			count: 4
			path: src/Framework/DomQuery.php
		- # DomQuery: SimpleXMLElement subclass return types
			identifier: return.type
			count: 5
			path: src/Framework/DomQuery.php
		- # DomQuery: regex match group offsets
			identifier: offsetAccess.notFound
			count: 10
			path: src/Framework/DomQuery.php
		- # DomQuery: regex analysis false positive
			identifier: identical.alwaysFalse
			count: 1
			path: src/Framework/DomQuery.php

		- # Edge case: with a registered onFailure handler exception() may return a Throwable that is not T; the documented contract still holds for the throw-on-failure default behaviour.
			message: '#^Method Tester\\Assert\:\:exception\(\) should return \(T of Throwable\)\|null but returns Throwable\|null\.$#'
			identifier: return.type
			count: 1
			path: src/Framework/Assert.php

		- # Intentional: arrow fn in DataProvider receives the file path via func_get_arg() so the included file is not given any local variables in scope.
			identifier: arguments.count
			count: 1
			path: src/Framework/DataProvider.php
		- # Intentional: arrow fn in CliTester receives the file path via func_get_arg() so the included file is not given any local variables in scope.
			identifier: arguments.count
			count: 1
			path: src/Runner/CliTester.php

		- # Intentional infinite loop for the --watch mode.
			identifier: while.alwaysTrue
			count: 1
			path: src/Runner/CliTester.php