restart-case

(restart-case form (restart-name (arg...) [option...] body...)...)

主フォーム form のみへの簡易展開です。リスタートシステムは存在しないため（コンディション自体は存在します — handler-case 参照）、リスタート節は到達不能（invoke-restart する手段がない）であり破棄されます。主フォームが評価されてその値が返ります。シグナルするフォーム（例: error）は通常どおりシグナルし、外側の handler-case で捕捉できます。check-type/assert と同じ「リスタートなし」のセマンティクスです。