manual clippy fixes

This commit is contained in:
Folkert 2023-06-26 20:45:39 +02:00
parent ef39bad7c6
commit 2d616d1fe9
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
6 changed files with 9 additions and 9 deletions

View file

@ -501,9 +501,9 @@ where
candidate_set
}
fn trmc_candidates_help<'a>(
fn trmc_candidates_help(
function_name: LambdaName,
stmt: &'_ Stmt<'a>,
stmt: &'_ Stmt<'_>,
candidates: &mut TrmcCandidateSet,
) {
// if this stmt is the literal tail tag application and return, then this is a TRMC opportunity