From edfd6d591b51da089b65c68ece0aecd1e9b8a42b Mon Sep 17 00:00:00 2001
From: Ellen <supbscripter@gmail.com>
Date: Wed, 6 Oct 2021 04:37:07 +0100
Subject: [PATCH] test
---
.../const_eval_resolve_canonical.rs | 29 +++++++++++++++++++
1 file changed, 29 insertions(+)
create mode 100644 src/test/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs
diff --git a/src/test/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs b/src/test/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs
new file mode 100644
index 0000000000000..b79bc262d2bac
--- /dev/null
+++ b/src/test/ui/const-generics/generic_const_exprs/const_eval_resolve_canonical.rs
@@ -0,0 +1,29 @@
+// run-pass
+#![feature(generic_const_exprs)]
+#![allow(incomplete_features)]
+
+trait Foo<const N: usize> {
+ type Assoc: Default;
+}
+
+impl Foo<0> for () {
+ type Assoc = u32;
+}
+
+impl Foo<3> for () {
+ type Assoc = i64;
+}
+
+fn foo<T, const N: usize>(_: T) -> <() as Foo<{ N + 1 }>>::Assoc
+where
+ (): Foo<{ N + 1 }>,
+{
+ Default::default()
+}
+
+fn main() {
+ // Test that we can correctly infer `T` which requires evaluating
+ // `{ N + 1 }` which has substs containing an inference var
+ let mut _q = Default::default();
+ _q = foo::<_, 2>(_q);
+}