bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

lint: mark associated types as live for the dead_code pass

Browse source
This commit is contained in:
Sean McArthur 2016-03-09 10:12:24 -08:00
parent 2f34986eb0
commit ca129e376e
2 changed files with 30 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/librustc/middle/dead.rs
View file

@ -351,15 +351,9 @@ impl<'v> Visitor<'v> for LifeSeeder {
}
hir::ItemImpl(_, _, _, ref opt_trait, _, ref impl_items) => {
for impl_item in impl_items {
match impl_item.node {
hir::ImplItemKind::Const(..) |
hir::ImplItemKind::Method(..) => {
if opt_trait.is_some() ||
has_allow_dead_code_or_lang_attr(&impl_item.attrs) {
self.worklist.push(impl_item.id);
}
}
hir::ImplItemKind::Type(_) => {}
if opt_trait.is_some() ||
has_allow_dead_code_or_lang_attr(&impl_item.attrs) {
self.worklist.push(impl_item.id);
}
}
}

27
src/test/run-pass/lint-dead-code-associated-type.rs Normal file
View file

@ -0,0 +1,27 @@
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
#![deny(dead_code)]
trait Foo {
type Bar;
}
struct Used;
struct Ex;
impl Foo for Ex {
type Bar = Used;
}
pub fn main() {
let _x = Ex;
}