diff options
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
-rw-r--r-- | crates/ra_hir_ty/src/infer.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/infer.rs b/crates/ra_hir_ty/src/infer.rs index 1aa1330a6..98ba05fc2 100644 --- a/crates/ra_hir_ty/src/infer.rs +++ b/crates/ra_hir_ty/src/infer.rs | |||
@@ -32,6 +32,7 @@ use hir_def::{ | |||
32 | use hir_expand::{diagnostics::DiagnosticSink, name::name}; | 32 | use hir_expand::{diagnostics::DiagnosticSink, name::name}; |
33 | use ra_arena::map::ArenaMap; | 33 | use ra_arena::map::ArenaMap; |
34 | use ra_prof::profile; | 34 | use ra_prof::profile; |
35 | use test_utils::tested_by; | ||
35 | 36 | ||
36 | use super::{ | 37 | use super::{ |
37 | primitive::{FloatTy, IntTy}, | 38 | primitive::{FloatTy, IntTy}, |
@@ -282,6 +283,7 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
282 | fn insert_vars_for_impl_trait(&mut self, ty: Ty) -> Ty { | 283 | fn insert_vars_for_impl_trait(&mut self, ty: Ty) -> Ty { |
283 | ty.fold(&mut |ty| match ty { | 284 | ty.fold(&mut |ty| match ty { |
284 | Ty::Opaque(preds) => { | 285 | Ty::Opaque(preds) => { |
286 | tested_by!(insert_vars_for_impl_trait); | ||
285 | let var = self.table.new_type_var(); | 287 | let var = self.table.new_type_var(); |
286 | let var_subst = Substs::builder(1).push(var.clone()).build(); | 288 | let var_subst = Substs::builder(1).push(var.clone()).build(); |
287 | self.obligations.extend( | 289 | self.obligations.extend( |