module Datadog::Core::BackportFrom25

def self.string_delete_prefix(string, prefix)
  string.delete_prefix(prefix)
end

def self.string_delete_prefix(string, prefix)
  prefix = prefix.to_s
  if string.start_with?(prefix)
    string[prefix.length..-1] || raise('rbs-guard: String#[] is non-nil as `prefix` is guaranteed present')
  else
    string.dup
  end
end