Function erased_ghost_value 

pub fn erased_ghost_value<S, T>(_: S) -> T