The facade type should be constrained on a proxy type #244
Description
The use of identifier proxy<F> should be ill-formed if F is not a facade type. We should not rely on static_assert in the body of proxy today to diagnose the error.
{{ message }}