phpstan
diff --git a/‎tests/PHPStan/Analyser/AnalyserTraitsIntegrationTest.php
Copy file name to clipboardExpand all lines: tests/PHPStan/Analyser/AnalyserTraitsIntegrationTest.php
+19Lines changed: 19 additions & 0 deletions b/‎tests/PHPStan/Analyser/AnalyserTraitsIntegrationTest.php
Copy file name to clipboardExpand all lines: tests/PHPStan/Analyser/AnalyserTraitsIntegrationTest.php
+19Lines changed: 19 additions & 0 deletions
diff --git a/‎tests/PHPStan/Analyser/traits/wrongProperty/Foo.php
Copy file name to clipboard
+20Lines changed: 20 additions & 0 deletions b/‎tests/PHPStan/Analyser/traits/wrongProperty/Foo.php
Copy file name to clipboard
+20Lines changed: 20 additions & 0 deletions
diff --git a/‎tests/PHPStan/Analyser/traits/wrongProperty/FooTrait.php
Copy file name to clipboard
+16Lines changed: 16 additions & 0 deletions b/‎tests/PHPStan/Analyser/traits/wrongProperty/FooTrait.php
Copy file name to clipboard
+16Lines changed: 16 additions & 0 deletions
@@ -117,6 +117,25 @@ public function testDuplicateMethodDefinition(): void
 		$this->assertCount(0, $errors);
 	}
 
+	public function testWrongPropertyType(): void
+	{
+		$errors = $this->runAnalyse([__DIR__ . '/traits/wrongProperty/Foo.php']);
+		$this->assertCount(2, $errors);
+		$this->assertSame(15, $errors[0]->getLine());
+		$this->assertSame(
+			$this->fileHelper->normalizePath(__DIR__ . '/traits/wrongProperty/Foo.php'),
+			$errors[0]->getFile()
+		);
+		$this->assertSame('Property TraitsWrongProperty\Foo::$id (int) does not accept string.', $errors[0]->getMessage());
+
+		$this->assertSame(17, $errors[1]->getLine());
+		$this->assertSame(
+			$this->fileHelper->normalizePath(__DIR__ . '/traits/wrongProperty/Foo.php'),
+			$errors[1]->getFile()
+		);
+		$this->assertSame('Property TraitsWrongProperty\Foo::$bar (Ipsum) does not accept int(1).', $errors[1]->getMessage());
+	}
+
 	/**
 	 * @param string[] $files
 	 * @return \PHPStan\Analyser\Error[]
 
@@ -0,0 +1,20 @@
+<?php
+
+namespace TraitsWrongProperty;
+
+use Lorem as Bar;
+
+class Foo
+{
+
+	use FooTrait;
+
+	public function doFoo()
+	{
+		$this->id = 1;
+		$this->id = 'foo';
+
+		$this->bar = 1;
+	}
+
+}
@@ -0,0 +1,16 @@
+<?php
+
+namespace TraitsWrongProperty;
+
+use Ipsum as Bar;
+
+trait FooTrait
+{
+
+	/** @var int */
+	private $id;
+
+	/** @var Bar */
+	private $bar;
+
+}