fn vars_since_snapshot<'tcx, T>(
table: &UnificationTable<InPlace<T, &'_ mut UnificationStorage<T>, &'_ mut InferCtxtUndoLogs<'tcx>>>,
snapshot_var_len: usize,
) -> Range<T>
fn vars_since_snapshot<'tcx, T>(
table: &UnificationTable<InPlace<T, &'_ mut UnificationStorage<T>, &'_ mut InferCtxtUndoLogs<'tcx>>>,
snapshot_var_len: usize,
) -> Range<T>