tests: add ice test for generic-const-exprs

Author: davidtwco

tests/ui/sized-hierarchy/auxiliary/generic-const-exprs-dep.rs

@@ -0,0 +1,13 @@
+#![feature(generic_const_exprs)]
+
+pub trait Tr<PCS, const C: usize> {
+    fn foo(bar: PCS) { unimplemented!(); }
+}
+
+pub struct Foo;
+
+pub const M: usize = 4;
+
+impl<CS> Tr<CS, M> for Foo
+{
+}

tests/ui/sized-hierarchy/generic-const-exprs.rs

@@ -0,0 +1,25 @@
+//@ aux-build:generic-const-exprs-dep.rs
+//@ compile-flags: --crate-type=lib
+//@ failure-status: 101
+//@ normalize-stderr: "note: .*\n\n" -> ""
+//@ normalize-stderr: "thread 'rustc' panicked.*\n" -> ""
+//@ normalize-stderr: "(error: internal compiler error: [^:]+):\d+:\d+: " -> "$1:LL:CC: "
+//@ rustc-env:RUST_BACKTRACE=0
+
+extern crate generic_const_exprs_dep;
+use generic_const_exprs_dep::{Tr, Foo};
+
+pub fn build(bar: ()) {
+    Foo::foo(bar)
+}
+
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported
+//~? ERROR Encountered anon const with inference variable args but no error reported

tests/ui/sized-hierarchy/generic-const-exprs.stderr

@@ -0,0 +1,31 @@
+error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = error: internal compiler error: Encountered anon const with inference variable args but no error reported
+   |
+   = note: delayed at compiler/rustc_trait_selection/src/traits/mod.rs:596:27 - disabled backtrace
+   = query stack during panic:
+end of query stack