hax_engine_names::hax

Function never_to_any

Source 
fn never_to_any()