public new ContextualOperand RightShift(Operand value) { return OperandExtensions.SetLeakedState(new ContextualOperand(base.RightShift(value), TypeMapper), true); }