Skip to content

Commit

Permalink
clarify debug msg
Browse files Browse the repository at this point in the history
  • Loading branch information
kali committed Oct 23, 2023
1 parent c122b50 commit 7abdc07
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion hir/src/infer/rules/solver.rs
Original file line number Diff line number Diff line change
Expand Up @@ -557,7 +557,7 @@ macro_rules! given_tuple {
#[allow(non_camel_case_types)]
impl<'s, $($id: Factoid + Output,)*> fmt::Debug for $Name<'s, $($id,)*> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
write!(f, "Given2Rule {{ {:?} }}", ($(&self.$id),*))
write!(f, "GivenRule {{ {:?} }}", ($(&self.$id),*))
}
}

Expand Down

0 comments on commit 7abdc07

Please sign in to comment.