about summary refs log tree commit diff
path: root/src/librustc
diff options
context:
space:
mode:
authorOliver Schneider <github35764891676564198441@oli-obk.de>2018-07-25 10:50:30 +0200
committerOliver Schneider <github35764891676564198441@oli-obk.de>2018-07-25 10:50:30 +0200
commit33712a8a10eb193e1d90c52b666a053309b7a8dc (patch)
tree85326878cd1bbe0de163ee860c10609e6ac516ec /src/librustc
parent01eacd85830bc0604505d1c8d5d5c4316ea44fb0 (diff)
downloadrust-33712a8a10eb193e1d90c52b666a053309b7a8dc.tar.gz
rust-33712a8a10eb193e1d90c52b666a053309b7a8dc.zip
Add type system canaries for potential future bugs
Diffstat (limited to 'src/librustc')
-rw-r--r--src/librustc/traits/specialize/specialization_graph.rs6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/librustc/traits/specialize/specialization_graph.rs b/src/librustc/traits/specialize/specialization_graph.rs
index 8a15d700bac..6562526a2ea 100644
--- a/src/librustc/traits/specialize/specialization_graph.rs
+++ b/src/librustc/traits/specialize/specialization_graph.rs
@@ -385,7 +385,11 @@ impl<'a, 'gcx, 'tcx> Ancestors {
                 | (Type, Existential)
                 => tcx.hygienic_eq(impl_item.ident, trait_item_name, trait_def_id),
 
-                _ => false,
+                | (Const, _)
+                | (Method, _)
+                | (Type, _)
+                | (Existential, _)
+                => false,
             }).map(move |item| NodeItem { node: node, item: item })
         })
     }