Re: master 42950e9: Fix a few Edebug specifications where code is wrapped in lambdas.

[Stefan Monnier]

>     Fix a few Edebug specifications where code is wrapped in lambdas.
>     
>     As the Info node `(elisp) Specification List' explains, it is not
>     correct to use `body' or t for a piece of code that the macro wraps in
>     a `lambda' form.  These should use `def-body' instead.

There is a slight misunderstanding here: if the end behavior is the same
as what could happen without a lambda, then there's no need to use
`def-body`.

The use `def-body` is only needed if it's possible to enter this code
from non-instrumented code (e.g. when the lambda is passed to
`run-with-timer`).

In the case of `displaying-byte-compile-warnings`, for example, there is
no need for `def-body`.


        Stefan