aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/infer.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2019-12-15 20:06:08 +0000
committerFlorian Diebold <[email protected]>2019-12-15 20:06:08 +0000
commit91853590a9ee78406e892ca92305edef3a5b9213 (patch)
tree911458abbefcddd06e131c410bd1e1710e77ca95 /crates/ra_hir_ty/src/infer.rs
parent6e1c2d0df89a390be33c81b6e03a5ad352763593 (diff)
Add test mark
Diffstat (limited to 'crates/ra_hir_ty/src/infer.rs')
-rw-r--r--crates/ra_hir_ty/src/infer.rs2
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::{
32use hir_expand::{diagnostics::DiagnosticSink, name::name}; 32use hir_expand::{diagnostics::DiagnosticSink, name::name};
33use ra_arena::map::ArenaMap; 33use ra_arena::map::ArenaMap;
34use ra_prof::profile; 34use ra_prof::profile;
35use test_utils::tested_by;
35 36
36use super::{ 37use 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(