Use slice_from_raw_parts in make_varule to fix Miri violation (#8391)