Add test

Author: zonuexe

tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php

@@ -174,4 +174,10 @@ public function testBug12224(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.1')]
+	public function testBug13201(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13201.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Pure/data/bug-13201.php

@@ -0,0 +1,19 @@
+<?php // lint >= 8.1
+
+namespace PHPStan\Rules\Pure\data\Bug13201;
+
+enum Foo: string
+{
+
+	case Bar     = 'bar';
+	case Unknown = 'unknown';
+
+}
+
+/**
+ * @pure
+ */
+function createWithFallback(string $type): Foo
+{
+	return Foo::tryFrom($type) ?? Foo::Unknown;
+}