diff --git a/c2rust-refactor/src/illtyped.rs b/c2rust-refactor/src/illtyped.rs
index 7f92ea0008..2e9159bb82 100644
--- a/c2rust-refactor/src/illtyped.rs
+++ b/c2rust-refactor/src/illtyped.rs
@@ -140,10 +140,8 @@ impl<'a, 'tcx, F: IlltypedFolder<'tcx>> MutVisitor for FoldIlltyped<'a, 'tcx, F>
             ExprKind::Call(_callee, args) => {
                 if let Some(fn_sig) = opt_fn_sig {
                     for (i, arg) in args.iter_mut().enumerate() {
-                        if !fn_sig.c_variadic || i < fn_sig.inputs().len() - 1 {
-                            if let Some(&ty) = fn_sig.inputs().get(i) {
-                                illtyped |= self.ensure(arg, ty);
-                            }
+                        if let Some(&ty) = fn_sig.inputs().get(i) {
+                            illtyped |= self.ensure(arg, ty);
                         }
                     }
                 }