where-clause.rs

pub struct Nested;

pub trait Trait<T> {
    fn thank_you(x: T);
}

pub fn abracadabra<X>(_: X) where X: Trait<Nested> {}

pub fn alacazam<X>() -> X where X: Trait<Nested> {}

pub trait T1 {}
pub trait T2<'a, T> {
    fn please(_: &'a T);
}

pub fn presto<A, B>(_: A, _: B) where A: T1, B: for <'b> T2<'b, Nested> {}

pub trait Shazam {}

pub fn bippety<X>() -> &'static X where X: Shazam {
    panic!()
}

pub struct Drizzel<T>(T);

impl<T> Drizzel<T> {
    pub fn boppety(&self) -> &T where T: Shazam {
        panic!();
    }
}