Current behavior is intentional design.

If "lambda" change the lambda-ness of the given block,
the author of "proc { |a| a * 2 }" can not know how the block is interpreted.
This is what the design try to avoid.

Rather, it may be possible to raise error on "lambda" with non-lambda proc object.
This is different issue, though.