handle trait items as well

diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs
index 578a63e44b03b7be3d69f4e18f60b65c6439fc0c..374b658dfc7fe428a5ff224cbc1938b529b04d35 100644 (file)
--- a/src/librustc_mir/transform/add_validation.rs
+++ b/src/librustc_mir/transform/add_validation.rs
@@ -112,6 +112,7 @@ struct FindUnsafe<'b, 'tcx> where 'tcx : 'b {
     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