Here is a patch for the edebug spec of cl-letf* to handle this case.