Skip to content

Commit 0ba1037

Browse files
committed
Revert "Disable warnings for unused function arguments. Temporary hack."
This reverts commit 1ec2211.
1 parent 1ec2211 commit 0ba1037

File tree

1 file changed

+1
-6
lines changed

1 file changed

+1
-6
lines changed

src/comp/middle/tstate/pre_post_conditions.rs

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -736,14 +736,9 @@ fn find_pre_post_fn(fcx: &fn_ctxt, f: &_fn) {
736736
use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_return));
737737
use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_diverge));
738738

739-
for a:arg in f.decl.inputs {
740-
// FIXME: Hack to avoid warning spew
741-
// Just pretend all arguments are used
742-
use_var(fcx, a.id);
743-
}
744-
745739
find_pre_post_block(fcx, f.body);
746740

741+
747742
// Treat the tail expression as a return statement
748743
alt f.body.node.expr {
749744
some(tailexpr) { set_postcond_false(fcx.ccx, tailexpr.id); }

0 commit comments

Comments
 (0)