check/wf.rs: change to use correct span and older WF algorithm;

at the time I reinstituted the old code, I hadn't given up yet and
brought back the implicator.

diff --git a/src/librustc_typeck/check/wf.rs b/src/librustc_typeck/check/wf.rs
index 21f48d37799e76fbb74b0acc9f75086773f54533..47eb1f472c31d208bf32f316cb8a9cfd9939a512 100644 (file)
--- a/src/librustc_typeck/check/wf.rs
+++ b/src/librustc_typeck/check/wf.rs
@@ -178,11 +178,8 @@ fn check_type_defn<F>(&mut self, item: &ast::Item, mut lookup_fields: F) where
                 }
             }
 
-            let field_tys: Vec<Ty> =
-                variants.iter().flat_map(|v| v.fields.iter().map(|f| f.ty)).collect();
-
-            for &field_ty in &field_tys {
-                fcx.register_wf_obligation(field_ty, item.span, traits::MiscObligation);
+            for field in variants.iter().flat_map(|v| v.fields.iter()) {
+                fcx.register_old_wf_obligation(field.ty, field.span, traits::MiscObligation);
             }
         });
     }