    impl X for T
    where
        bar

