class MethodId { <US, UR extends VW, VW extends US> US m (UR x) { return x; } }