Generic associated types can shadow lifetimes

[matthewjasper]

The following code is incorrectly permitted

#![feature(generic_associated_types)]

trait X<'a> {
    type Y<'a>;           //~ Should error
}

impl<'a> X<'a> for () {
    type Y<'a> = &'a ();  //~ Should error
}