add edition comment and 2024 test

tests/target/issue-6333-2024.rs

@@ -0,0 +1,23 @@
+// rustfmt-style_edition: 2024
+pub use crate::r#_StructUtil_Compile::CanonCryptoItem;
+pub use crate::r#_StructUtil_Compile::MessageID;
+pub use crate::r#_Wrappers_Compile::Outcome;
+pub use crate::software::amazon::crypt::dbencryptionsdk::stct::internaldafny::types::Action;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::AlgorithmSuiteInfo;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::EncryptedDataKey;
+pub use crate::software::amazon::crypt::mat::internaldafny::types::EncryptionMaterials;
+pub use crate::software::amazon::crypt::primitives::internaldafny::types::HMacInput;
+pub use crate::software::amazon::crypt::primitives::internaldafny::types::IAwsPrimClient;
+pub use dafny_runtime::_System::nat;
+pub use dafny_runtime::DafnyCharUTF16;
+pub use dafny_runtime::DafnyType;
+pub use dafny_runtime::DafnyTypeEq;
+pub use dafny_runtime::MapBuilder;
+pub use dafny_runtime::Object;
+pub use dafny_runtime::Sequence;
+pub use dafny_runtime::int;
+pub use dafny_runtime::itertools::Itertools;
+pub use dafny_runtime::rd;
+pub use dafny_runtime::string_utf16_of;
+pub use dafny_runtime::truncate;
+pub use std::rc::Rc;

tests/target/issue-6333.rs

@@ -1,3 +1,4 @@
+// rustfmt-style_edition: 2015
 pub use crate::r#_StructUtil_Compile::CanonCryptoItem;
 pub use crate::r#_StructUtil_Compile::MessageID;
 pub use crate::r#_Wrappers_Compile::Outcome;