Add support for @return never

src/Psalm/Internal/Analyzer/Statements/Expression/Call/ArgumentAnalyzer.php

@@ -137,7 +137,7 @@ class ArgumentAnalyzer
             $gt_count = 0;
 
             foreach ($values as $value) {
-                $ord = ord($value);
+                $ord = \ord($value);
 
                 if ($ord > $prev_ord) {
                     $gt_count++;

src/Psalm/Internal/Type/TypeTokenizer.php

@@ -62,6 +62,7 @@ class TypeTokenizer
         'no-return' => true,
         'never-return' => true,
         'never-returns' => true,
+        'never' => true,
         'array-key' => true,
         'key-of' => true,
         'value-of' => true,

src/Psalm/Type/Atomic.php

@@ -136,6 +136,7 @@ abstract class Atomic implements TypeNode
 
             case 'never-return':
             case 'never-returns':
+            case 'never':
             case 'no-return':
                 return new TNever();
 

tests/ClassTest.php

@@ -483,17 +483,25 @@ class ClassTest extends TestCase
             ],
             'resourceAndNumericSoftlyReserved' => [
                 '<?php
+                    namespace {
+                        class Numeric {}
+                        class Never {}
+                    }
+
                     namespace Foo {
                         class Resource {}
                         class Numeric {}
+                        class Never {}
                     }
 
                     namespace Bar {
                         use \Foo\Resource;
                         use \Foo\Numeric;
+                        use \Foo\Never;
 
                         new \Foo\Resource();
                         new \Foo\Numeric();
+                        new \Foo\Never();
 
                         new Resource();
                         new Numeric();
@@ -501,9 +509,10 @@ class ClassTest extends TestCase
                         /**
                          * @param  Resource $r
                          * @param  Numeric  $n
+                         * @param  Never $nev
                          * @return void
                          */
-                        function foo(Resource $r, Numeric $n) : void {}
+                        function foo(Resource $r, Numeric $n, Never $nev) : void {}
                     }'
             ],
             'inheritInterfaceFromParent' => [

tests/ReturnTypeTest.php

@@ -594,6 +594,23 @@ class ReturnTypeTest extends TestCase
                         foo();
                     }',
             ],
+            'noReturnCallReturnsNever' => [
+                '<?php
+                    namespace Foo;
+                    /**
+                     * @return never
+                     */
+                    function foo() : void {
+                        exit();
+                    }
+
+                    /**
+                     * @return never
+                     */
+                    function bar() : void {
+                        foo();
+                    }',
+            ],
             'suppressInvalidReturnType' => [
                 '<?php
                     /**