From 4fba7038db5a7dff0ed56a65e094769569f0db15 Mon Sep 17 00:00:00 2001
From: Robert Bragg <robert@sixbynine.org>
Date: Wed, 21 Jun 2023 09:05:54 +0100
Subject: [PATCH] Mark JNINativeInterface_ non_exhaustive

It seems unlikely that applications ever destructure JNINativeInterface_
but still good to be clear that, in terms of the Rust API, this type may
be extended.
---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 3083a47..6ce6aed 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -108,6 +108,7 @@ pub type JNIEnv = *const JNINativeInterface_;
 pub type JavaVM = *const JNIInvokeInterface_;
 
 #[repr(C)]
+#[non_exhaustive]
 #[derive(Copy)]
 pub struct JNINativeInterface_ {
     pub reserved0: *mut c_void,