about summary refs log tree commit diff
path: root/src/test/ui/const-generics/infer/one-param-uninferred.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/infer/one-param-uninferred.rs')
-rw-r--r--src/test/ui/const-generics/infer/one-param-uninferred.rs11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/const-generics/infer/one-param-uninferred.rs b/src/test/ui/const-generics/infer/one-param-uninferred.rs
deleted file mode 100644
index d6018650f53..00000000000
--- a/src/test/ui/const-generics/infer/one-param-uninferred.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-// Test that we emit an error if we cannot properly infer a constant.
-fn foo<const N: usize, const M: usize>() -> [u8; N] {
-    todo!()
-}
-
-fn main() {
-    // FIXME(const_generics): Currently this only suggests one const parameter,
-    // but instead it should suggest to provide all parameters.
-    let _: [u8; 17] = foo();
-                  //~^ ERROR type annotations needed
-}