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() {}