diff options
Diffstat (limited to 'crates/ra_hir/src/ty/traits/chalk.rs')
| -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 | } |