Fix error message heuristic on unions of maps

Summary:
The heuristic uses a score of 50 as the limit for a partial match in a union, but partial matches on maps can go as low as 40.
Change the limit to be 40 for both, so that a candidate map is always selected.

Reviewed By: TD5

Differential Revision: D85868725

fbshipit-source-id: 60b1bfda0f58642bda144ac1e3bf2389523101e7

Author: VLanvin

crates/elp/src/resources/test/eqwalizer_tests/check/custom-OTP-26.pretty

@@ -792,6 +792,13 @@ Expression has type:   #{'a' | 'b' => atom() | number()}
 Context expected type: #{a := atom(), b := number()} | #{a := atom()}
     │                         
 
+Because in the expression's type:
+  Here the type is:     #{...}
+  Context expects type: #{a := ..., b := ..., ...}
+  The type of the expression is missing the following required keys: a, b.
+
+------------------------------ Detailed message ------------------------------
+
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()} | #{a := atom()}
   because
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()}

crates/elp/src/resources/test/eqwalizer_tests/check/custom-OTP-27.pretty

@@ -792,6 +792,13 @@ Expression has type:   #{'a' | 'b' => atom() | number()}
 Context expected type: #{a := atom(), b := number()} | #{a := atom()}
     │                         
 
+Because in the expression's type:
+  Here the type is:     #{...}
+  Context expects type: #{a := ..., b := ..., ...}
+  The type of the expression is missing the following required keys: a, b.
+
+------------------------------ Detailed message ------------------------------
+
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()} | #{a := atom()}
   because
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()}

crates/elp/src/resources/test/eqwalizer_tests/check/custom-OTP-28.pretty

@@ -792,6 +792,13 @@ Expression has type:   #{'a' | 'b' => atom() | number()}
 Context expected type: #{a := atom(), b := number()} | #{a := atom()}
     │                         
 
+Because in the expression's type:
+  Here the type is:     #{...}
+  Context expects type: #{a := ..., b := ..., ...}
+  The type of the expression is missing the following required keys: a, b.
+
+------------------------------ Detailed message ------------------------------
+
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()} | #{a := atom()}
   because
   #{'a' | 'b' => atom() | number()} is not compatible with #{a := atom(), b := number()}

crates/elp/src/resources/test/eqwalizer_tests/check/error_messages.pretty

@@ -138,9 +138,9 @@ Context expected type: #{foo => #{large_map_key_c => 'large_map_val_c'} | #{larg
 
 Because in the expression's type:
   #{ foo =>
-    Here the type is:     #{...}
-    Context expects type: #{...} | #{...}
-    No candidate matches in the expected union.
+    Here the type is:     #{large_map_key_a => ...}
+    Context expects type: #{...}
+    The expected map has no corresponding key for: large_map_key_a.
   , ... }
 
 ------------------------------ Detailed message ------------------------------
@@ -168,9 +168,9 @@ Context expected type: #{foo => #{large_map_key_c => 'large_map_val_c', large_ma
 
 Because in the expression's type:
   #{ foo =>
-    Here the type is:     #{...}
-    Context expects type: #{...} | 'any'
-    No candidate matches in the expected union.
+    Here the type is:     #{large_map_key_a => ...}
+    Context expects type: #{...}
+    The expected map has no corresponding key for: large_map_key_a.
   , ... }
 
 ------------------------------ Detailed message ------------------------------

crates/elp/src/resources/test/eqwalizer_tests/check/opaque.pretty

@@ -10,9 +10,11 @@ Context expected type: sets:set({'ok', 'ok'})
    │   
 
 Because in the expression's type:
-  Here the type is a union type with some valid candidates: #set{}
-  However the following candidate: #{{ok, error} => []}
-  Differs from the expected type:  #set{} | #{{ok, ok} => []}
+  The type is a union type with some valid candidates: #set{}
+  However, the following candidate doesn't match:
+  Here the type is:     #{{ok, error} => ...}
+  Context expects type: #{...}
+  The expected map has no corresponding key for: {ok, error}.
 
 ------------------------------ Detailed message ------------------------------
 

crates/elp/src/resources/test/eqwalizer_tests/check/recursive_aliases.pretty

@@ -166,9 +166,11 @@ Context expected type: mChainA()
     │                       
 
 Because in the expression's type:
-  Here the type is a union type with some valid candidates: 'nil'
-  However the following candidate: #{b := mChainB()}
-  Differs from the expected type:  'nil' | #{a := mChainA()}
+  The type is a union type with some valid candidates: 'nil'
+  However, the following candidate doesn't match:
+  Here the type is:     #{...}
+  Context expects type: #{a := ..., ...}
+  The type of the expression is missing the following required keys: a.
 
 ------------------------------ Detailed message ------------------------------