impl X for T where%( ) impl X for T where%( )