jextract: add support for desugared optional on Android 23#498

madsodgaard wants to merge 2 commits intoswiftlang:mainswiftlang/swift-java:mainfrom

madsodgaard:android-desugar-supportmadsodgaard/swift-java:android-desugar-supportCopy head branch name to clipboard