(do-blocks (block component)
(when (block-type-check block)
(do-nodes (node cont block)
(do-blocks (block component)
(when (block-type-check block)
(do-nodes (node cont block)
"type assertion too complex to check:~% ~S."
(type-specifier (coerce-to-values (cast-asserted-type cast))))))
(setf (cast-type-to-check cast) *wild-type*)
"type assertion too complex to check:~% ~S."
(type-specifier (coerce-to-values (cast-asserted-type cast))))))
(setf (cast-type-to-check cast) *wild-type*)