diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 76129e575a3..c35059fade9 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1491,7 +1491,7 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
                     (List.rev (Array.to_list tag_ty_tup));
 
           | Ast.PAT_slot (sloti, _) ->
-              unify_slot strict_ctx sloti.node (Some sloti.id) expected
+              unify_slot lval_ctx sloti.node (Some sloti.id) expected
 
           | Ast.PAT_wild -> ()
     in