From 7dac153c56fbbd6556fa30a2d43b37f6c7d61464 Mon Sep 17 00:00:00 2001 From: Andy Jewell Date: Sun, 3 Nov 2024 07:28:13 -0500 Subject: [PATCH] add edition comment and 2024 test --- tests/target/issue-6333-2024.rs | 23 +++++++++++++++++++++++ tests/target/issue-6333.rs | 1 + 2 files changed, 24 insertions(+) create mode 100644 tests/target/issue-6333-2024.rs diff --git a/tests/target/issue-6333-2024.rs b/tests/target/issue-6333-2024.rs new file mode 100644 index 00000000000..6ad3e99691c --- /dev/null +++ b/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; diff --git a/tests/target/issue-6333.rs b/tests/target/issue-6333.rs index 9734854c032..2c22a91cf88 100644 --- a/tests/target/issue-6333.rs +++ b/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;