std::dereferenceable(C++20)

namespace std {
  // 参照修飾を付加する
  template<class T>
  using with-reference = T&;

  // 参照修飾可能（例えばvoidはこれを満たさない）
  template<class T>
  concept can-reference = requires { 
    typename with-reference<T>;
  };

  // 間接参照可能であり、何らかの結果を返す
  template<class T>
  concept dereferenceable = requires(T& t) {
    { *t } -> can-reference;  // 等しさを保持することを要求しない
  };
}