<div dir="ltr"><div>It would be nice if we could have an unsafe version of require/typed, which doesn't generate a contract, but simply "lies" to the type system about the type. This, of course, breaks the type system's guarantees, and causes UB if optimizations are one, but in some cases contracts cannot be generated (for example, for the "object-name" function), but one can create a safe type for it.<br><br></div>Why can't there be a "require/typed/unsafe" form? It could save a lot of unnecessary asserts and casts, and unnecessary contract overhead.<br></div>