Fix normalization error.

2017-03-04 16:44:02 -07:00 · 2017-03-04 16:44:02 -07:00 · 155ef41c84
commit 155ef41c84
parent ba07bd5d23
1 changed files with 3 additions and 1 deletions
--- a/src/librustc_typeck/check/mod.rs
+++ b/src/librustc_typeck/check/mod.rs
@ -2122,10 +2122,12 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> {
                    Neither => {
                        if let Some(default) = default_map.get(ty) {
                            let default = default.clone();
+                            let default_ty = self.normalize_associated_types_in(
+                                default.origin_span, &default.ty);
                            match self.eq_types(false,
                                                &self.misc(default.origin_span),
                                                ty,
-                                                default.ty) {
+                                                default_ty) {
                                Ok(ok) => self.register_infer_ok_obligations(ok),
                                Err(_) => {
                                    result = Some(default);