Add type hints to lambda parameters.

Summary: required for .hhconfig disallow_ambiguous_lambda.

Signed-off-by: Arthur Loiret <[email protected]>

Author: aloiret-ed

src/TypeSpec/__Private/SetSpec.hack

@@ -37,7 +37,7 @@ final class SetSpec<Tv as arraykey, T as \ConstSet<Tv>> extends TypeSpec<T> {
     }
 
     $trace = $this->getTrace()->withFrame($this->what.'<T>');
-    $map = $container ==>
+    $map = (\ConstSet<arraykey> $container) ==>
       $container->map($v ==> $this->inner->withTrace($trace)->coerceType($v));
 
     if (\is_a($value, $this->what)) {

src/TypeSpec/__Private/VectorSpec.hack

@@ -37,7 +37,7 @@ final class VectorSpec<Tv, T as \ConstVector<Tv>> extends TypeSpec<T> {
     }
 
     $trace = $this->getTrace()->withFrame($this->what.'<T>');
-    $map = $container ==>
+    $map = (\ConstVector<mixed> $container) ==>
       $container->map($v ==> $this->inner->withTrace($trace)->coerceType($v));
 
     if (\is_a($value, $this->what)) {