Regression tests

Closes phpstan/phpstan#7012
Closes phpstan/phpstan#6192

Author: ondrejmirtes

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -695,6 +695,26 @@ public function testBug7030(): void
 	null, $shippingLongitude = null, $shippingNeutralShipping = null)): Unexpected token "\n * ", expected type at offset 193', $errors[0]->getMessage());
 	}
 
+	public function testBug7012(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-7012.php');
+		$this->assertNoErrors($errors);
+	}
+
+	public function testBug6192(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-6192.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]

tests/PHPStan/Analyser/data/bug-6192.php

@@ -0,0 +1,34 @@
+<?php // lint >= 8.1
+
+namespace Bug6192;
+
+class Foo {
+	public function __construct(
+		public string $value = 'default foo foo'
+	) {}
+}
+
+class Bar {
+	public function __construct(
+		public Foo $foo = new Foo('default bar foo')
+	) {}
+}
+
+class Baz
+{
+
+	public function doFoo(): void
+	{
+		echo "Testing Foo\n";
+		var_export(new Foo('testing foo'));
+		echo "\n";
+	}
+
+	public function doBar(): void
+	{
+		echo "Testing Bar\n";
+		var_export(new Bar(new Foo('testing bar')));
+		echo "\n";
+	}
+
+}

tests/PHPStan/Analyser/data/bug-7012.php

@@ -0,0 +1,17 @@
+<?php // lint >= 8.1
+
+namespace Bug7012;
+
+enum Foo
+{
+	case BAR;
+}
+
+function test(Foo $f = Foo::BAR): void
+{
+}
+
+function test2(): void
+{
+	test();
+}