> # define _LIBCPP_AVAILABILITY_BAD_OPTIONAL_ACCESS \
> __attribute__((availability(macosx,strict,introduced=10.14))) \
> __attribute__((availability(ios,strict,introduced=12.0))) \
> __attribute__((availability(tvos,strict,introduced=12.0))) \
> __attribute__((availability(watchos,strict,introduced=5.0)
I went ahead and patched our installed __config header to change this to introduced 10.13.
Ken