diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits')
-rw-r--r-- | crates/ra_hir/src/ty/traits/chalk.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index cfe0cab16..8a127efa1 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs | |||
@@ -314,7 +314,8 @@ impl ToChalk for Arc<super::TraitEnvironment> { | |||
314 | // for env, we just ignore errors | 314 | // for env, we just ignore errors |
315 | continue; | 315 | continue; |
316 | } | 316 | } |
317 | clauses.push(pred.clone().to_chalk(db).cast()); | 317 | let program_clause: chalk_ir::ProgramClause = pred.clone().to_chalk(db).cast(); |
318 | clauses.push(program_clause.into_from_env_clause()); | ||
318 | } | 319 | } |
319 | chalk_ir::Environment::new().add_clauses(clauses) | 320 | chalk_ir::Environment::new().add_clauses(clauses) |
320 | } | 321 | } |