Skip to content

Commit

Permalink
Cargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
cgswords committed May 29, 2024
1 parent 3b23ca5 commit 2bac786
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2528,17 +2528,17 @@ fn exp(context: &mut Context, e: Box<E::Exp>) -> Box<N::Exp> {
);
let mut diag = diag!(TypeSafety::InvalidCallTarget, (v.loc, msg));
diag.add_note(note);
context
.env
.add_diag(diag);
context.env.add_diag(diag);
NE::UnresolvedError
} else if v.value.id != 0 {
let name = v.value.name;
let msg = format!(
"Unexpected invocation of non-parameter variable '{name}'. \
Only lambda-typed syntax parameters may be invoked",
);
context.env.add_diag(diag!(TypeSafety::InvalidCallTarget, (v.loc, msg)));
context
.env
.add_diag(diag!(TypeSafety::InvalidCallTarget, (v.loc, msg)));
NE::UnresolvedError
} else {
NE::VarCall(v, nes)
Expand Down

0 comments on commit 2bac786

Please sign in to comment.