diff --git a/src/aeso_ast_infer_types.erl b/src/aeso_ast_infer_types.erl
index 1f22e48..3a52b66 100644
--- a/src/aeso_ast_infer_types.erl
+++ b/src/aeso_ast_infer_types.erl
@@ -2215,9 +2215,7 @@ check_named_argument_constraint(Env,
             unify(Env, GenType1, SpecType, {check_expr, App, GenType1, SpecType}),
             true;
         _ -> unify(Env, GenType, SpecType, {check_expr, App, GenType, SpecType}), true
-    end;
-check_named_argument_constraint(_, _) ->
-    true.
+    end.
 
 specialize_dependent_type(Env, Type) ->
     case dereference(Type) of