[reflect.synopsis] 21.12.4 Unconstrained variable templates of constrained class templates (Needs NB Comment)

[Dani-Hub]

This is not a review deviation of the accepted p0670r4 document but was observed during the review:

The variable templates is_public_v, ..., get_pointer_v are unconstrained compared to the Object constrained corresponding class templates. Presumably they should all be constrained to the same level (that is to Object), similar to all other variable templates in [reflect.synopsis].

[camio]

I'm not 100% what to do here since I think the semantics is identical in either case. I'd like this to be brought up in LWG so we can get some guidance as to the convention we should be using.