Function extern_spec_T_MaybeUninit_T_assume_init 

pub unsafe fn extern_spec_T_MaybeUninit_T_assume_init<T>(
    self_: MaybeUninit<T>,
) -> T

extern spec for MaybeUninit<T>::assume_init

This is not a real function: its only use is for documentation.

requires

self@ != None

ensures

self@ == Some(result)

terminates

ghost