Skip to content

Commit

Permalink
Fix comment
Browse files Browse the repository at this point in the history
  • Loading branch information
scalexm committed Apr 2, 2018
1 parent 71dc162 commit 1074a22
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/librustc_traits/lowering.rs
Original file line number Diff line number Diff line change
Expand Up @@ -188,11 +188,11 @@ impl<'a, 'tcx> ClauseDumper<'a, 'tcx > {
if attr.check_name("rustc_dump_program_clauses") {
let clauses = self.tcx.program_clauses_for(def_id);
for clause in &*clauses {
// Skip the top-level binder for a less verbose output
let program_clause = match clause {
Clause::Implies(program_clause) => program_clause,
Clause::ForAll(program_clause) => program_clause.skip_binder(),
};
// Skip the top-level binder for a less verbose output
self.tcx.sess.struct_span_err(attr.span, &format!("{}", program_clause)).emit();
}
}
Expand Down

0 comments on commit 1074a22

Please sign in to comment.