diff options
| author | Ralf Jung <post@ralfj.de> | 2017-08-01 09:22:58 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-08-01 09:22:58 -0700 |
| commit | 8f910bcbbcbd47b372670e0a347fcde340d25e5e (patch) | |
| tree | ff45d1dafdf4f4c92e779381807b994fc26f80a6 /src | |
| parent | 4310edb4cb106e725bb63e05b2cba21d6bb2a85f (diff) | |
handle trait items as well
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_mir/transform/add_validation.rs | 1 |
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 |
