Function extern_spec_T_MaybeUninit_T_assume_init_ref 

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

extern spec for MaybeUninit<T>::assume_init_ref

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

requires

self@ != None

ensures

self@ == Some(*result)

terminates

ghost