src/test/run-pass/lint-dead-code-associated-type.rs

#![deny(dead_code)]

trait Foo {
    type Bar;
}

struct Used;

struct Ex;

impl Foo for Ex {
    type Bar = Used;
}

pub fn main() {
    let _x = Ex;
}