Function empty_range

pub(in ::random) fn empty_range() -> never