Rollup merge of #61441 - estebank:fn-call-in-match, r=varkor

[rust.git] / src / librustc_resolve / error_codes.rs

diff --git a/src/librustc_resolve/error_codes.rs b/src/librustc_resolve/error_codes.rs
index 5c095994a1bbd422f3a55d4b883b7de11db6ec37..7cd26dce1447c9d93657a3d87498458f0eb3ce52 100644 (file)
--- a/src/librustc_resolve/error_codes.rs
+++ b/src/librustc_resolve/error_codes.rs
@@ -1642,6 +1642,19 @@ fn main() {
 ```
 "##,
 
+E0671: r##"
+Const parameters cannot depend on type parameters.
+The following is therefore invalid:
+```compile_fail,E0671
+#![feature(const_generics)]
+
+fn const_id<T, const N: T>() -> T { // error: const parameter
+                                    // depends on type parameter
+    N
+}
+```
+"##,
+
 }
 
 register_diagnostics! {