//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// class type_info
//
//  bool operator==(const type_info& rhs) const noexcept; // constexpr since C++23

// UNSUPPORTED: no-rtti

// When we build for Windows on top of the VC runtime, `typeinfo::operator==` may not
// be `constexpr` (depending on the version of the VC runtime). So this test can fail.
// UNSUPPORTED: target={{.+}}-windows-msvc && !libcpp-no-vcruntime

#include <typeinfo>
#include <cassert>

#include "test_macros.h"

struct Base {
  virtual void func() {}
};
struct Derived : Base {
  virtual void func() {}
};

TEST_CONSTEXPR_CXX23 bool test() {
  // Test when storing typeid() in a const ref
  {
    std::type_info const& t1 = typeid(int);
    std::type_info const& t2 = typeid(long);
    assert(t1 == t1);
    assert(t2 == t2);
    assert(t1 != t2);
  }

  // Test when using `typeid()` directly
  {
    struct Foo { };
    struct Bar { };
    assert(typeid(Foo) == typeid(Foo));
    assert(typeid(Foo) != typeid(Bar));
  }

  // Test when using typeid(object) instead of typeid(type)
  {
    int x = 0, y = 0;
    long z = 0;
    assert(typeid(x) == typeid(y));
    assert(typeid(x) != typeid(z));
  }

  // Check with derived/base types
  {
    Derived derived;
    Base const& as_base = derived;
    assert(typeid(as_base) == typeid(Derived));
  }

  // Check noexcept-ness
  {
    std::type_info const& t1 = typeid(int); (void)t1;
    std::type_info const& t2 = typeid(long); (void)t2;
    ASSERT_NOEXCEPT(t1 == t2);
  }
  return true;
}

int main(int, char**) {
  test();
#if TEST_STD_VER >= 23
  static_assert(test());
#endif
  return 0;
}