Open 0.12-dev

Author: ondrejmirtes

.travis.yml

@@ -12,6 +12,3 @@ before_script:
   - if [ "$dependencies" = "highest" ]; then composer update --no-interaction; fi;
 script:
   - vendor/bin/phing
-  - >
-    wget https://github.com/maglnet/ComposerRequireChecker/releases/download/0.2.1/composer-require-checker.phar
-    && php composer-require-checker.phar check composer.json

build.xml

@@ -86,7 +86,7 @@
 		>
 			<arg value="analyse"/>
 			<arg value="-l"/>
-			<arg value="7"/>
+			<arg value="8"/>
 			<arg value="-c"/>
 			<arg path="phpstan.neon"/>
 			<arg path="src"/>

composer.json

@@ -7,7 +7,7 @@
 	"prefer-stable": true,
 	"extra": {
 		"branch-alias": {
-			"dev-master": "0.11-dev"
+			"dev-master": "0.12-dev"
 		},
 		"phpstan": {
 			"includes": [
@@ -17,16 +17,16 @@
 	},
 	"require": {
 		"php": "~7.1",
-		"phpstan/phpstan": "^0.11.6",
-		"nikic/php-parser": "^4.0"
+		"phpstan/phpstan": "^0.12",
+		"nikic/php-parser": "^4.3"
 	},
 	"require-dev": {
 		"consistence/coding-standard": "^3.7",
 		"dealerdirect/phpcodesniffer-composer-installer": "^0.4.4",
 		"jakub-onderka/php-parallel-lint": "^1.0",
 		"phing/phing": "^2.16.0",
-		"phpstan/phpstan-strict-rules": "^0.11",
-		"phpstan/phpstan-phpunit": "^0.11",
+		"phpstan/phpstan-strict-rules": "^0.12",
+		"phpstan/phpstan-phpunit": "^0.12",
 		"phpunit/phpunit": "^7.1.3",
 		"slevomat/coding-standard": "^4.5.2",
 		"webmozart/assert": "^1.3.0"

phpcs.xml

@@ -23,7 +23,10 @@
 				@dataProvider,
 				@requires
 			"/>
+			<property name="enableObjectTypeHint" value="false"/>
 		</properties>
+		<exclude name="SlevomatCodingStandard.TypeHints.TypeHintDeclaration.MissingTraversableParameterTypeHintSpecification"/>
+		<exclude name="SlevomatCodingStandard.TypeHints.TypeHintDeclaration.MissingTraversableReturnTypeHintSpecification"/>
 	</rule>
 	<rule ref="SlevomatCodingStandard.ControlStructures.AssignmentInCondition"/>
 	<rule ref="SlevomatCodingStandard.ControlStructures.DisallowEqualOperators"/>

phpstan.neon

@@ -7,6 +7,4 @@ includes:
 
 parameters:
 	excludes_analyse:
-		- */tests/*/data/*
-	ignoreErrors:
-		- '~^Parameter \#1 \$node \(.*\) of method .*Rule::processNode\(\) should be contravariant with parameter \$node \(PhpParser\\Node\) of method PHPStan\\Rules\\Rule::processNode\(\)$~'
+		- tests/*/data/*

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -4,6 +4,9 @@
 
 use PHPStan\Rules\Rule;
 
+/**
+ * @extends \PHPStan\Testing\RuleTestCase<VariableTypeReportingRule>
+ */
 class AssertTypeSpecifyingExtensionTest extends \PHPStan\Testing\RuleTestCase
 {
 
@@ -138,11 +141,11 @@ public function testExtension(): void
 				107,
 			],
 			[
-				'Variable $aa is: PHPStan\Type\WebMozartAssert\Foo|string',
+				'Variable $aa is: class-string<PHPStan\Type\WebMozartAssert\Foo>|PHPStan\Type\WebMozartAssert\Foo',
 				110,
 			],
 			[
-				'Variable $ab is: array<PHPStan\Type\WebMozartAssert\Foo>',
+				'Variable $ab is: array', // should array<PHPStan\Type\WebMozartAssert\Foo>
 				113,
 			],
 			[

tests/Type/WebMozartAssert/VariableTypeReportingRule.php

@@ -5,6 +5,9 @@
 use PhpParser\Node;
 use PHPStan\Analyser\Scope;
 
+/**
+ * @implements \PHPStan\Rules\Rule<Node\Expr\Variable>
+ */
 class VariableTypeReportingRule implements \PHPStan\Rules\Rule
 {
 
@@ -13,11 +16,6 @@ public function getNodeType(): string
 		return Node\Expr\Variable::class;
 	}
 
-	/**
-	 * @param \PhpParser\Node\Expr\Variable $node
-	 * @param \PHPStan\Analyser\Scope $scope
-	 * @return string[] errors
-	 */
 	public function processNode(Node $node, Scope $scope): array
 	{
 		if (!is_string($node->name)) {