impl X for T where
    bar

    impl X for T
    where
        bar