add failing test case for implicit exception in ArrayAccess

tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php

@@ -196,6 +196,16 @@ public function testFirstClassCallables(): void
 		]);
 	}
 
+	public function testBug4852(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4852.php'], [
+			[
+				'Dead catch - Exception is never thrown in the try block.',
+				70,
+			],
+		]);
+	}
+
 	public function testBug5903(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-5903.php'], [

tests/PHPStan/Rules/Exceptions/data/bug-4852.php

@@ -0,0 +1,73 @@
+<?php
+
+namespace Bug4852;
+
+use ArrayAccess;
+use Exception;
+
+final class DefinitelyThrows implements ArrayAccess
+{
+	public function offsetExists ($offset) {}
+	public function offsetGet ($offset) {}
+
+	/**
+	 * @throws Exception
+	 */
+	public function offsetSet ($offset , $value) {
+		throw new Exception();
+	}
+	public function offsetUnset ($offset) {}
+}
+
+final class MaybeThrows1 implements ArrayAccess
+{
+	public function offsetExists ($offset) {}
+	public function offsetGet ($offset) {}
+	public function offsetSet ($offset , $value) {
+		throw new Exception();
+	}
+	public function offsetUnset ($offset) {}
+}
+
+class MaybeThrows2 {}
+
+final class DefinitelyNoThrows implements ArrayAccess
+{
+	public function offsetExists ($offset) {}
+	public function offsetGet ($offset) {}
+
+	/**
+	 * @throws void
+	 */
+	public function offsetSet ($offset , $value) {}
+	public function offsetUnset ($offset) {}
+}
+
+$foo = new DefinitelyThrows();
+try {
+	$foo[] = 'value';
+} catch (Exception $e) {
+	// not dead
+}
+
+$bar = new MaybeThrows1();
+try {
+	$bar[] = 'value';
+} catch (Exception $e) {
+	// not dead
+}
+
+$buz = new MaybeThrows2();
+try {
+	$buz[] = 'value';
+} catch (Exception $e) {
+	// not dead
+}
+
+$baz = new DefinitelyNoThrows();
+try {
+	$baz[] = 'value';
+} catch (Exception $e) {
+	// dead
+}
+