about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2017-08-01 09:22:58 -0700
committerRalf Jung <post@ralfj.de>2017-08-01 09:22:58 -0700
commit8f910bcbbcbd47b372670e0a347fcde340d25e5e (patch)
treeff45d1dafdf4f4c92e779381807b994fc26f80a6 /src
parent4310edb4cb106e725bb63e05b2cba21d6bb2a85f (diff)
handle trait items as well
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/transform/add_validation.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs
index 578a63e44b0..374b658dfc7 100644
--- a/src/librustc_mir/transform/add_validation.rs
+++ b/src/librustc_mir/transform/add_validation.rs
@@ -112,6 +112,7 @@ fn fn_contains_unsafe<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, src: MirSource) ->
     match tcx.hir.find(fn_node_id) {
         Some(Node::NodeItem(item)) => finder.visit_item(item),
         Some(Node::NodeImplItem(item)) => finder.visit_impl_item(item),
+        Some(Node::NodeTraitItem(item)) => finder.visit_trait_item(item),
         Some(Node::NodeExpr(item)) => {
             // This is a closure.
             // We also have to walk up the parents and check that there is no unsafe block