impl X for T where%( )

    impl X for T
    where%( )