| 1: | func @makeInitPtr = (uninit_ptr: $T*!) -> 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)
