default impls for methods can contain existential types inside

diff --git a/src/librustc_typeck/collect.rs b/src/librustc_typeck/collect.rs
index e9510d118f7d4d48d2905f806cfd3ef0d6880268..72a4b0df6f84f5a64cc7c613a07fb5ae64d685c0 100644 (file)
--- a/src/librustc_typeck/collect.rs
+++ b/src/librustc_typeck/collect.rs
@@ -1250,6 +1250,7 @@ fn visit_trait_item(&mut self, it: &'tcx TraitItem) {
         match tcx.hir.get(parent) {
             NodeItem(ref it) => intravisit::walk_item(&mut locator, it),
             NodeImplItem(ref it) => intravisit::walk_impl_item(&mut locator, it),
+            NodeTraitItem(ref it) => intravisit::walk_trait_item(&mut locator, it),
             other => bug!("{:?} is not a valid parent of an existential type item", other),
         }
     }