1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49

base / containers / to_value_list_nocompile.nc [blame]

// Copyright 2024 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// This is a "No Compile Test" suite.
// http://dev.chromium.org/developers/testing/no-compile-tests

#include "base/containers/to_value_list.h"

#include <tuple>
#include <utility>
#include <vector>

namespace base {

// ToValueList() doesn't implicitly deduce initializer lists.
void InitializerList() {
  std::ignore = ToValueList({"aaa", "bbb", "ccc"}); // expected-error@*:* {{no matching function for call to 'ToValueList'}}
}

// Lambdas operating on rvalue ranges of move-only elements expect lvalue
// references to the element type.
void MoveOnlyProjections() {
  struct MoveOnly {
    MoveOnly() = default;

    MoveOnly(const MoveOnly&) = delete;
    MoveOnly& operator=(const MoveOnly&) = delete;

    MoveOnly(MoveOnly&&) = default;
    MoveOnly& operator=(MoveOnly&&) = default;
  };

  std::vector<MoveOnly> vec;
  std::ignore = ToValueList(std::move(vec), [](MoveOnly arg) {
    return arg;
  }); // expected-error@*:* {{no matching function for call to 'ToValueList'}}
  std::ignore = ToValueList(std::move(vec), [](MoveOnly&& arg) {
    return std::move(arg);
  }); // expected-error@*:* {{no matching function for call to 'ToValueList'}}
}

// Return type of the projection must be compatible with Value::List::Append().
void AppendableToList() {
  std::vector<int> vec;
  std::ignore = ToValueList(vec, [](int) -> int* { return nullptr; }); // expected-error@*:* {{no matching function for call to 'ToValueList'}}
}

}  // namespace base