Skip to content

Commit 69d6dcc

Browse files
committed
Remove extra .filter(...)
Signed-off-by: Zahari Dichev <[email protected]>
1 parent dea5f82 commit 69d6dcc

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

chalk-solve/src/clauses.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -127,13 +127,12 @@ pub(crate) fn program_clauses_for_goal<'db, I: Interner>(
127127

128128
let clauses: Vec<ProgramClause<I>> = custom_clauses
129129
.chain(clauses_that_could_match)
130-
.filter(|c| c.could_match(interner, goal))
131130
.chain(
132131
db.program_clauses_for_env(environment)
133132
.iter(interner)
134-
.filter(|c| (*c).could_match(interner, goal))
135133
.cloned(),
136134
)
135+
.filter(|c| c.could_match(interner, goal))
137136
.collect();
138137

139138
debug!("vec = {:#?}", clauses);

0 commit comments

Comments
 (0)