From 35617e9d849a1f2d4e684e82ec3c5765d425a3f4 Mon Sep 17 00:00:00 2001
From: Matthew Brown <github@muglug.com>
Date: Mon, 23 Jan 2017 14:19:08 -0700
Subject: [PATCH] Add test for specific issue mentioned in #74

---
 tests/InterfaceTest.php | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/tests/InterfaceTest.php b/tests/InterfaceTest.php
index aec523517..f25d724ef 100644
--- a/tests/InterfaceTest.php
+++ b/tests/InterfaceTest.php
@@ -453,6 +453,38 @@ class InterfaceTest extends PHPUnit_Framework_TestCase
         $file_checker->visitAndAnalyzeMethods($context);
     }
 
+
+    /**
+     * @return void
+     */
+    public function testImplementsPartialInterfaceMethods()
+    {
+        Config::getInstance()->setCustomErrorLevel('MissingReturnType', Config::REPORT_SUPPRESS);
+
+        $stmts = self::$parser->parse('<?php
+        namespace Bat;
+
+        interface I  {
+          public function foo();
+          public function bar();
+        }
+        abstract class A implements I {
+          public function foo() {
+            return "hello";
+          }
+        }
+        class B extends A {
+          public function bar() {
+            return "goodbye";
+          }
+        }
+        ');
+
+        $file_checker = new FileChecker('somefile.php', $this->project_checker, $stmts);
+        $context = new Context();
+        $file_checker->visitAndAnalyzeMethods($context);
+    }
+
     /**
      * @expectedException        \Psalm\Exception\CodeException
      * @expectedExceptionMessage UnimplementedInterfaceMethod