fn const_vars_since_snapshot<'tcx>(
table: &mut UnificationTable<InPlace<ConstVidKey<'tcx>, &'_ mut UnificationStorage<ConstVidKey<'tcx>>, &'_ mut InferCtxtUndoLogs<'tcx>>>,
snapshot_var_len: usize,
) -> (Range<ConstVid>, Vec<ConstVariableOrigin>)