From 17ba73cfa03099e9c89d42964328148d27c0599f Mon Sep 17 00:00:00 2001
From: Aurora <tomek-kubel2@wp.pl>
Date: Thu, 2 Mar 2023 21:55:56 +0100
Subject: [PATCH] Document `adt_const_params` feature in Unstable Book

---
 .../src/language-features/adt-const-params.md | 35 +++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 src/doc/unstable-book/src/language-features/adt-const-params.md

diff --git a/src/doc/unstable-book/src/language-features/adt-const-params.md b/src/doc/unstable-book/src/language-features/adt-const-params.md
new file mode 100644
index 0000000000000..208bf5e4c1533
--- /dev/null
+++ b/src/doc/unstable-book/src/language-features/adt-const-params.md
@@ -0,0 +1,35 @@
+# `adt_const_params`
+
+The tracking issue for this feature is: [#95174]
+
+[#95174]: https://github.com/rust-lang/rust/issues/95174
+
+------------------------
+
+Allows for using more complex types for const parameters, such as structs or enums.
+
+```rust
+#![feature(adt_const_params)]
+#![allow(incomplete_features)]
+
+use std::marker::ConstParamTy;
+
+#[derive(ConstParamTy, PartialEq, Eq)]
+enum Foo {
+    A,
+    B,
+    C,
+}
+
+#[derive(ConstParamTy, PartialEq, Eq)]
+struct Bar {
+    flag: bool,
+}
+
+fn is_foo_a_and_bar_true<const F: Foo, const B: Bar>() -> bool {
+    match (F, B.flag) {
+        (Foo::A, true) => true,
+        _ => false,
+    }
+}
+```