Given that F is a type meeting the ProBasicFacade requirements, a type T meets the ProAccessible requirements of types F, Args..., if the following expressions are well-formed and have the specified semantics.
| Expressions | Semantics |
|---|---|
typename T::template accessor<F, Args...> |
A type that provides accessibility to proxy. It shall be a trivial class type and not final. |