Function extern_spec_T_ScopedJoinHandle_T_is_finished 

pub fn extern_spec_T_ScopedJoinHandle_T_is_finished<T>(
    self_: &ScopedJoinHandle<'_, T>,
) -> bool

extern spec for ScopedJoinHandle<'_, T>::is_finished

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

ensures

true