continuation-asserted-type to *wild-type* so that the compiler doesn't decide that there is a type error.