Information on this page may be incorrect / out-of-date. An updated version of the site (powered by Panther!) is coming soon, which will include all fixes.
| 1: | func @makeInitPtr = (uninit_ptr: $T*uninit) -> T*mut; |
Converts an uninitialized-qualified pointer to a pointer. Paramter uninit_ptr must be concrete, a local variable, and the pointee must be known by the compiler to be initialized (otherwise it is a compile error).
uninit_ptr: The pointer to convert
Returns the converted pointer
(TODO)
