https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70438
--- Comment #2 from Mike Herrick <mjh at edg dot com> --- I think that's fine -- a note in the documentation to that effect (describing what an "opaque" vector type is and what operations are allowed on it) should suffice. Thanks.
