Treat constructors as implicitly void-typed for the purposes of prependCodeToFunctions()

src/CodeManipulation/Actions/Generic.php

@@ -78,6 +78,10 @@ function prependCodeToFunctions($code, $typedVariants = array(), $fillArgRefs =
 function getDeclaredReturnType(Source $s, $function)
 {
     $parenthesis = $s->next(LEFT_ROUND, $function);
+    $name = $s->next(T_STRING, $function);
+    if ($name < $parenthesis && ($s->read($name) === '__construct' || $s->read($name) === '__destruct')) {
+        return 'void';
+    }
     $next = $s->skip(Source::junk(), $s->match($parenthesis));
     if ($s->is(T_USE, $next)) {
         $next = $s->skip(Source::junk(), $s->match($s->next(LEFT_ROUND, $next)));

tests/includes/NamedObject.php

@@ -4,13 +4,17 @@ class NamedObject
 {
     private $name;
 
-    function __construct($name)
+    public function __construct($name)
     {
         $this->name = $name;
     }
 
-    function getName()
+    public function getName()
     {
         return $this->name;
     }
+
+    public function __destruct()
+    {
+    }
 }

tests/return-from-constructor.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Return from constructor / antecedent/patchwork#213
+
+--FILE--
+<?php
+
+use function Patchwork\redefine;
+
+ini_set('zend.assertions', 1);
+error_reporting(E_ALL);
+
+$_SERVER['PHP_SELF'] = __FILE__;
+
+require __DIR__ . "/../Patchwork.php";
+require __DIR__ . "/includes/NamedObject.php";
+
+redefine('NamedObject::__construct', function ($name) {
+   return $name; 
+});
+
+try {
+    new NamedObject('foo');
+} catch (Exception $e) {
+    echo get_class($e), "\n";
+}
+
+?>
+===DONE===
+
+--EXPECT--
+Patchwork\Exceptions\NonNullToVoid
+===DONE===

tests/return-from-destructor.phpt

@@ -0,0 +1,32 @@
+--TEST--
+Return from destructor / antecedent/patchwork#213
+
+--FILE--
+<?php
+
+use function Patchwork\redefine;
+
+ini_set('zend.assertions', 1);
+error_reporting(E_ALL);
+
+$_SERVER['PHP_SELF'] = __FILE__;
+
+require __DIR__ . "/../Patchwork.php";
+require __DIR__ . "/includes/NamedObject.php";
+
+redefine('NamedObject::__destruct', function () {
+   return __CLASS__; 
+});
+
+try {
+    new NamedObject('foo');
+} catch (Exception $e) {
+    echo get_class($e), "\n";
+}
+
+?>
+===DONE===
+
+--EXPECT--
+Patchwork\Exceptions\NonNullToVoid
+===DONE===