// 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 <vector>

#include "base/containers/span.h"

int UnsafeIndex();  // This function might return an out-of-bound index.

class Base {
 public:
  // Expected rewrite:
  // virtual void fct(base::span<char> param) = 0;
  virtual void fct(base::span<char> param) = 0;
};

class Derived : public Base {
 public:
  // Expected rewrite:
  // void fct(base::span<char> param) override;
  void fct(base::span<char> param) override;
};

// Expected rewrite:
// void Derived::fct(base::span<char> param) {
void Derived::fct(base::span<char> param) {
  // This unsafe usage leads param to be rewritten.
  param[UnsafeIndex()] = 'b';
}

void test() {
  std::vector<char> buf(10);
  Derived d;
  // Expected rewrite:
  // d.fct(buf);
  d.fct(buf);
}