A type trait to indicate that a type is a proxy reference type

[cor3ntin]

To fix tuple / get / pair for reference_wrapper and vectorreference

[ThePhD]

From the stream, a suggested unwrap_unreference can be further expanded to detect a wrapper by detecting either std::reference_wrapper or response to the well-formedness of an ADL hook call, allowing different kind of reference wrappers to be given consistent behavior without specializing std::reference_wrapper.

#include <utility>

namespace std0 {

	namespace detail {
		template <typename T>
		using detect_unwrap_reference = decltype(unwrap_reference(std::declval<T>()));
	}

	struct unwrap_reference_niebloid {
		template <typename T>
		constexpr decltype(auto) operator()(T&& value) const noexcept {
			// detect general unwrap ADL extension point
			if constexpr (is_detected_v<detail::detect_unwrap_reference, T>) {
				return unwrap_reference(std::forward<T>(value));
			}
			// Dr. WEB paper on is_specialization_of
			else if constexpr (is_specialization_of_v<T, std::reference_wrapper>) {
				return value.get();
			}
			else {
				return std::forward<T>(value);
			}
		}
	} inline constexpr unwrap_reference{};

	template <typename T>
	using unwrap_reference_t = decltype(std0::unwrap_reference(std::declval<T>()));

}

[cor3ntin]

Hey @ThePhD - i missed that comment, it seems worth exploring!

[cor3ntin]

https://godbolt.org/z/xhrev78xs

[cor3ntin]

https://compiler-explorer.com/z/9Mo8MxY71 *