From 8f910bcbbcbd47b372670e0a347fcde340d25e5e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 1 Aug 2017 09:22:58 -0700 Subject: [PATCH] handle trait items as well --- src/librustc_mir/transform/add_validation.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs index 578a63e44b03b..374b658dfc7fe 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