diff --git a/tests/ui/lint/dead-code/const-arg-used-in-pub-trait.rs b/tests/ui/lint/dead-code/const-arg-used-in-pub-trait.rs
new file mode 100644
index 0000000000000..e7a2a1c00ee8d
--- /dev/null
+++ b/tests/ui/lint/dead-code/const-arg-used-in-pub-trait.rs
@@ -0,0 +1,14 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/128617>
+//@ check-pass
+
+#![deny(dead_code)]
+
+pub struct Value<const NUMBER: u8> {}
+
+pub trait Trait {}
+
+const CONST: u8 = 11;
+
+impl Trait for Value<CONST> {}
+
+fn main() {}
diff --git a/tests/ui/lint/dead-code/const-fn-used-in-impl-header.rs b/tests/ui/lint/dead-code/const-fn-used-in-impl-header.rs
new file mode 100644
index 0000000000000..9de8bc7dd98a8
--- /dev/null
+++ b/tests/ui/lint/dead-code/const-fn-used-in-impl-header.rs
@@ -0,0 +1,18 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/133797>
+//@ check-pass
+
+#![deny(dead_code)]
+
+const fn test() -> usize {
+    0
+}
+
+trait Test {}
+
+impl Test for [u8; test()] {}
+
+fn test2<T: Test>() {}
+
+fn main() {
+    test2::<[u8; 0]>();
+}