restrictReturnTypes configuration

docs/running_psalm/configuration.md

@@ -435,6 +435,38 @@ Arrays bigger than this value (100 by default) will be transformed in a generic
 
 Please note that changing this setting might introduce unwanted side effects and those side effects won't be considered as bugs.  
 
+#### restrictReturnTypes
+
+```xml
+<psalm
+  restrictReturnTypes="true"
+>
+```
+
+Emits `LessSpecificReturnType` when the declared return type is not as tight as
+the inferred return type.
+
+This code:
+```php
+function getOne(): int // declared type: int
+{ 
+    return 1; // inferred type: 1 (int literal)
+}
+```
+Will give this error: `LessSpecificReturnType - The inferred return type '1' for
+a is more specific than the declared return type 'int'`
+
+To fix the error, you should specify the more specific type in the doc-block:
+```php
+/**
+ * @return 1
+ */
+function getOne(): int 
+{ 
+    return 1;
+}
+```
+
 ## Project settings
 
 #### &lt;projectFiles&gt;

psalm.xml.dist

@@ -3,16 +3,11 @@
     xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
     xmlns="https://getpsalm.org/schema/config"
     name="Psalm for Psalm"
-    useDocblockTypes="true"
     errorLevel="1"
-    strictBinaryOperands="false"
-    rememberPropertyAssignmentsAfterCall="true"
-    checkForThrowsDocblock="false"
     throwExceptionOnError="0"
     findUnusedCode="true"
     ensureArrayStringOffsetsExist="true"
     ensureArrayIntOffsetsExist="true"
-    resolveFromConfigFile="true"
     xsi:schemaLocation="https://getpsalm.org/schema/config config.xsd"
     limitMethodComplexity="true"
     errorBaseline="psalm-baseline.xml"