#include <iostream>
#include <type_traits>

auto main() -> int {
  using A = std::add_rvalue_reference<int>;
  using B = std::add_rvalue_reference<int&>;
  
  std::cout << std::boolalpha;
  std::cout << "typedefs of int&&:" << "\n";
  std::cout << "A: " << std::is_same_v<int&&, A> << "\n";
  std::cout << "B: " << std::is_same_v<int&&, B> << "\n";
}