// Copyright 2026 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <cstdint>
#include <vector>

#include "base/containers/span.h"
#include "base/numerics/safe_conversions.h"

short get_offset() {
  return 5;
}

void fct() {
  auto buf = std::vector<int>(10, 1);
  // Expected rewrite:
  // base::span<int> a = buf;
  base::span<int> a = buf;
  a[0] = 1;

  short b = 2;
  // Expected rewrite:
  // a = a.subspan(base::checked_cast<size_t>(b + get_offset()));
  a = a.subspan(base::checked_cast<size_t>(b + get_offset()));
}