#pragma once

#include "constraints.hh"

namespace borrow {
#if 0 
//TODO: Eh, rethink this when brain not fogged...
	template<typename T, where::deref_to<T> P = T*>
	struct Borrow {
		using traits = std::pointer_traits<P>;

		using type = T;
		using pointer_type = P;
		using pointer = traits::pointer;


		static_assert(std::is_same_v<T, traits::element_type>, "Invalid `deref_to<T> P` (element_type != T)");

		
	};
#endif
}