    impl X for T%( )

