Add repro example

rust-lang · Feb 22, 2024 · 688c75b · 688c75b
1 parent 3f41fd1
commit 688c75b
Show file tree

Hide file tree

Showing 3 changed files with 34 additions and 0 deletions.
diff --git a/tests/source/issue-6052/repro.rs b/tests/source/issue-6052/repro.rs
@@ -0,0 +1,17 @@
+pub enum ManagementFrameBody<
+    'a,
+    RateIterator = SupportedRatesTLVReadRateIterator<'a>,
+    ExtendedRateIterator = ExtendedSupportedRatesTLVReadRateIterator<'a>,
+    TLVIterator: IntoIterator<Item = IEEE80211TLV<'a, RateIterator, ExtendedRateIterator>> = TLVReadIterator<'a>,
+    ActionFramePayload = &'a [u8],
+>
+{
+    Action(ActionFrameBody<ActionFramePayload>),
+    ActionNoAck(ActionFrameBody<ActionFramePayload>),
+    Beacon(BeaconFrameBody<'a, RateIterator, ExtendedRateIterator, TLVIterator>),
+    ATIM,
+    Unknown {
+        sub_type: ManagementFrameSubtype,
+        body: &'a [u8],
+    },
+}
diff --git a/tests/target/issue_6052.rs → tests/target/issue-6052/overflows.rs b/tests/target/issue_6052.rs → tests/target/issue-6052/overflows.rs
diff --git a/tests/target/issue-6052/repro.rs b/tests/target/issue-6052/repro.rs
@@ -0,0 +1,17 @@
+pub enum ManagementFrameBody<
+    'a,
+    RateIterator = SupportedRatesTLVReadRateIterator<'a>,
+    ExtendedRateIterator = ExtendedSupportedRatesTLVReadRateIterator<'a>,
+    TLVIterator: IntoIterator<Item = IEEE80211TLV<'a, RateIterator, ExtendedRateIterator>>
+    = TLVReadIterator<'a>,
+    ActionFramePayload = &'a [u8],
+> {
+    Action(ActionFrameBody<ActionFramePayload>),
+    ActionNoAck(ActionFrameBody<ActionFramePayload>),
+    Beacon(BeaconFrameBody<'a, RateIterator, ExtendedRateIterator, TLVIterator>),
+    ATIM,
+    Unknown {
+        sub_type: ManagementFrameSubtype,
+        body: &'a [u8],
+    },
+}