impl X for T
    where
        bar