From 68ea4d533946ee5324b12b0e9a182ca896286086 Mon Sep 17 00:00:00 2001 From: Jean IBARZ Date: Sun, 29 Mar 2026 14:02:37 +0200 Subject: [PATCH] Add regression test for mono item collection ICE with generic_const_exprs Exercises -Clink-dead-code=true with generic_const_exprs and min_generic_const_args, which previously caused an ICE in mono item collection. --- ...ric-const-exprs-mono-collect-ice-149035.rs | 20 +++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 tests/ui/const-generics/generic_const_exprs/generic-const-exprs-mono-collect-ice-149035.rs diff --git a/tests/ui/const-generics/generic_const_exprs/generic-const-exprs-mono-collect-ice-149035.rs b/tests/ui/const-generics/generic_const_exprs/generic-const-exprs-mono-collect-ice-149035.rs new file mode 100644 index 0000000000000..9e1216ae4c02a --- /dev/null +++ b/tests/ui/const-generics/generic_const_exprs/generic-const-exprs-mono-collect-ice-149035.rs @@ -0,0 +1,20 @@ +//! Ensure `-Clink-dead-code=true` with `generic_const_exprs` and +//! `min_generic_const_args` doesn't ICE in mono item collection. +//! +//! Regression test for . + +//@ build-pass +//@ compile-flags: -Clink-dead-code=true + +#![feature(min_generic_const_args, generic_const_exprs)] + +type const L: usize = 4; +trait Print { + fn print() -> usize { + N + } +} +struct Printer; +impl Print for Printer {} + +fn main() {}