mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 06:45:07 +02:00
Merge
This commit is contained in:
commit
5393dc9a48
10 changed files with 54 additions and 15 deletions
|
@ -345,6 +345,7 @@ public sealed interface Linker permits AbstractLinker {
|
|||
* }
|
||||
* }
|
||||
*/
|
||||
@PreviewFeature(feature=PreviewFeature.Feature.FOREIGN)
|
||||
sealed interface CaptureCallState extends Option
|
||||
permits LinkerOptions.CaptureCallStateImpl {
|
||||
/**
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue