Resolve comments

Author: mingxwa

docs/spec/ProFacade.md

@@ -15,8 +15,7 @@ A type `F` meets the *ProFacade* requirements of a type `P` if `F` meets the [*P
 *Since 4.0.2*: `P` shall be a pointer-like type eligible for `proxy`. A type `P` is eligible if the following condition is satisfied:
 
 ```cpp
-(requires { *std::declval<P&>(); } || requires { typename P::element_type; }) &&
-requires { typename std::pointer_traits<P>::element_type; }
+(std::is_pointer_v<T> || requires { typename T::element_type; } || requires(T val) { *val; }) && requires { typename std::pointer_traits<T>::element_type; }
 ```
 
 In other words, `P` either supports dereferencing or provides an `element_type`, and `std::pointer_traits<P>` yields a valid `element_type`.

include/proxy/v4/proxy.h

@@ -636,8 +636,8 @@ template <class R, class F, bool IsDirect>
 using refl_accessor_t = typename refl_accessor_traits<R, F, IsDirect>::type;
 
 template <class T>
-concept pointer_like = (requires { *std::declval<T&>(); } ||
-    requires { typename T::element_type; }) &&
+concept pointer_like = (std::is_pointer_v<T> ||
+    requires { typename T::element_type; } || requires(T val) { *val; }) &&
     requires { typename std::pointer_traits<T>::element_type; };
 
 template <class T, template <class...> class TT>