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('project_checker, $stmts); + $context = new Context(); + $file_checker->visitAndAnalyzeMethods($context); + } + /** * @expectedException \Psalm\Exception\CodeException * @expectedExceptionMessage UnimplementedInterfaceMethod