Function shadow_ghost_value 

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