From befcdec7778bc901f47fa8ebd4d5e322a8bd187e Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Fri, 31 May 2024 08:58:56 +0000
Subject: Check that we can constrain the hidden tpye of a TAIT used in a const
 generic type

---
 .../const_generic_type.infer.stderr                   | 10 ++++++++++
 .../const_generic_type.no_infer.stderr                | 19 +++++++++++++++++++
 tests/ui/type-alias-impl-trait/const_generic_type.rs  | 10 +++++++---
 .../type-alias-impl-trait/const_generic_type.stderr   | 19 -------------------
 4 files changed, 36 insertions(+), 22 deletions(-)
 create mode 100644 tests/ui/type-alias-impl-trait/const_generic_type.infer.stderr
 create mode 100644 tests/ui/type-alias-impl-trait/const_generic_type.no_infer.stderr
 delete mode 100644 tests/ui/type-alias-impl-trait/const_generic_type.stderr

diff --git a/tests/ui/type-alias-impl-trait/const_generic_type.infer.stderr b/tests/ui/type-alias-impl-trait/const_generic_type.infer.stderr
new file mode 100644
index 00000000000..6a1a770228d
--- /dev/null
+++ b/tests/ui/type-alias-impl-trait/const_generic_type.infer.stderr
@@ -0,0 +1,10 @@
+error: `Bar` is forbidden as the type of a const generic parameter
+  --> $DIR/const_generic_type.rs:7:24
+   |
+LL | async fn test<const N: crate::Bar>() {
+   |                        ^^^^^^^^^^
+   |
+   = note: the only supported types are integers, `bool` and `char`
+
+error: aborting due to 1 previous error
+
diff --git a/tests/ui/type-alias-impl-trait/const_generic_type.no_infer.stderr b/tests/ui/type-alias-impl-trait/const_generic_type.no_infer.stderr
new file mode 100644
index 00000000000..a1a69bfaca3
--- /dev/null
+++ b/tests/ui/type-alias-impl-trait/const_generic_type.no_infer.stderr
@@ -0,0 +1,19 @@
+error[E0283]: type annotations needed
+  --> $DIR/const_generic_type.rs:7:1
+   |
+LL | async fn test<const N: crate::Bar>() {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
+   |
+   = note: cannot satisfy `_: std::fmt::Display`
+
+error: `Bar` is forbidden as the type of a const generic parameter
+  --> $DIR/const_generic_type.rs:7:24
+   |
+LL | async fn test<const N: crate::Bar>() {
+   |                        ^^^^^^^^^^
+   |
+   = note: the only supported types are integers, `bool` and `char`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0283`.
diff --git a/tests/ui/type-alias-impl-trait/const_generic_type.rs b/tests/ui/type-alias-impl-trait/const_generic_type.rs
index 3af122fc4e3..95a5e1c6286 100644
--- a/tests/ui/type-alias-impl-trait/const_generic_type.rs
+++ b/tests/ui/type-alias-impl-trait/const_generic_type.rs
@@ -1,10 +1,14 @@
 //@edition: 2021
+//@revisions: infer no_infer
 
 #![feature(type_alias_impl_trait)]
 type Bar = impl std::fmt::Display;
 
-async fn test<const N: crate::Bar>() {}
-//~^ ERROR: type annotations needed
-//~| ERROR: `Bar` is forbidden as the type of a const generic parameter
+async fn test<const N: crate::Bar>() {
+    //[no_infer]~^ ERROR: type annotations needed
+    //~^^ ERROR: `Bar` is forbidden as the type of a const generic parameter
+    #[cfg(infer)]
+    let x: u32 = N;
+}
 
 fn main() {}
diff --git a/tests/ui/type-alias-impl-trait/const_generic_type.stderr b/tests/ui/type-alias-impl-trait/const_generic_type.stderr
deleted file mode 100644
index 5501f23c8bb..00000000000
--- a/tests/ui/type-alias-impl-trait/const_generic_type.stderr
+++ /dev/null
@@ -1,19 +0,0 @@
-error[E0283]: type annotations needed
-  --> $DIR/const_generic_type.rs:6:1
-   |
-LL | async fn test<const N: crate::Bar>() {}
-   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
-   |
-   = note: cannot satisfy `_: std::fmt::Display`
-
-error: `Bar` is forbidden as the type of a const generic parameter
-  --> $DIR/const_generic_type.rs:6:24
-   |
-LL | async fn test<const N: crate::Bar>() {}
-   |                        ^^^^^^^^^^
-   |
-   = note: the only supported types are integers, `bool` and `char`
-
-error: aborting due to 2 previous errors
-
-For more information about this error, try `rustc --explain E0283`.
-- 
cgit 1.4.1-3-g733a5