This program compiles:

#![forbid(unsafe_blocks)]

unsafe trait Foo { }

struct Bar;

unsafe impl Foo for Bar { }

fn main() { }

We should have a lint that forbids all use of the unsafe dialect, including unsafe impl. Probably this entails renaming the unsafe-blocks lint.