diff options
Diffstat (limited to 'src/test/ui/feature-gates/feature-gate-generic_arg_infer.rs')
-rw-r--r-- | src/test/ui/feature-gates/feature-gate-generic_arg_infer.rs | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/feature-gates/feature-gate-generic_arg_infer.rs b/src/test/ui/feature-gates/feature-gate-generic_arg_infer.rs new file mode 100644 index 000000000..afd14b784 --- /dev/null +++ b/src/test/ui/feature-gates/feature-gate-generic_arg_infer.rs @@ -0,0 +1,23 @@ +// [feature] run-pass +// revisions: normal feature + +#![cfg_attr(feature, feature(generic_arg_infer))] + +fn foo<const N: usize>(_: [u8; N]) -> [u8; N] { + [0; N] +} + +fn bar() { + let _x: [u8; 3] = [0; _]; + //[normal]~^ ERROR: using `_` for array lengths is unstable + //[normal]~| ERROR: in expressions, `_` can only be used on the left-hand side of an assignment + let _y: [u8; _] = [0; 3]; + //[normal]~^ ERROR: using `_` for array lengths is unstable + //[normal]~| ERROR: in expressions, `_` can only be used on the left-hand side of an assignment +} + +fn main() { + let _x = foo::<_>([1,2]); + //[normal]~^ ERROR: type provided when a constant was expected + let _y = bar(); +} |