rust/tests/ui/const-generics/fn_with_two_const_inputs.stderr

error: unconstrained generic constant
  --> $DIR/fn_with_two_const_inputs.rs:12:5
   |
LL |     bar()
   |     ^^^^^
   |
note: required by a bound in `bar`
  --> $DIR/fn_with_two_const_inputs.rs:18:10
   |
LL | fn bar<const N: usize>() -> [(); N]
   |    --- required by a bound in this function
LL | where
LL |     [(); N + 1]:,
   |          ^^^^^ required by this bound in `bar`
help: try adding a `where` bound
   |
LL |     [(); both(N + 1, M + 1)]:, [(); N + 1]:
   |                              ~~~~~~~~~~~~~~

error: aborting due to 1 previous error
Clean up Simplify match statement Add multiple tests - 1 test for checking `N + 1 + 1` does not unify with `N+1` - 2 tests for checking that a function that uses two parameters only returns the parameter that is actually used. - Check exact repeat predicates 2022-12-21 15:53:52 -06:00			`error: unconstrained generic constant`
			`--> $DIR/fn_with_two_const_inputs.rs:12:5`
			`\|`
			`LL \| bar()`
Deduplicate more sized errors on call exprs Change the implicit `Sized` `Obligation` `Span` for call expressions to include the whole expression. This aids the existing deduplication machinery to reduce the number of errors caused by a single unsized expression. 2024-01-23 20:52:29 -06:00			`\| ^^^^^`
Clean up Simplify match statement Add multiple tests - 1 test for checking `N + 1 + 1` does not unify with `N+1` - 2 tests for checking that a function that uses two parameters only returns the parameter that is actually used. - Check exact repeat predicates 2022-12-21 15:53:52 -06:00			`\|`
			note: required by a bound in `bar`
			`--> $DIR/fn_with_two_const_inputs.rs:18:10`
			`\|`
			`LL \| fn bar<const N: usize>() -> [(); N]`
Specify what 'this' actually is 2023-02-20 23:21:07 -06:00			`\| --- required by a bound in this function`
Clean up Simplify match statement Add multiple tests - 1 test for checking `N + 1 + 1` does not unify with `N+1` - 2 tests for checking that a function that uses two parameters only returns the parameter that is actually used. - Check exact repeat predicates 2022-12-21 15:53:52 -06:00			`LL \| where`
			`LL \| [(); N + 1]:,`
			\| ^^^^^ required by this bound in `bar`
Provide structured suggestion for unconstrained generic constant ``` error: unconstrained generic constant --> $DIR/const-argument-if-length.rs:18:10 \| LL \| pad: [u8; is_zst::<T>()], \| ^^^^^^^^^^^^^^^^^^^ \| help: try adding a `where` bound \| LL \| pub struct AtLeastByte<T: ?Sized> where [(); is_zst::<T>()]: { \| ++++++++++++++++++++++++++ ``` Detect when the constant expression isn't `usize` and suggest casting: ``` error: unconstrained generic constant --> f300.rs:6:10 \| 6 \| bb::<{!N}>(); \| ^^^^ -Ztrack-diagnostics: created at compiler/rustc_trait_selection/src/traits/error_reporting/type_err_ctxt_ext.rs:3539:36 \| help: try adding a `where` bound \| 5 \| fn b<const N: bool>() where [(); {!N} as usize]: { \| ++++++++++++++++++++++++++ ``` Fix #122395. 2024-03-20 19:03:59 -05:00			help: try adding a `where` bound
			`\|`
			`LL \| [(); both(N + 1, M + 1)]:, [(); N + 1]:`
			`\| ~~~~~~~~~~~~~~`
Clean up Simplify match statement Add multiple tests - 1 test for checking `N + 1 + 1` does not unify with `N+1` - 2 tests for checking that a function that uses two parameters only returns the parameter that is actually used. - Check exact repeat predicates 2022-12-21 15:53:52 -06:00
Show number in error message even for one error Co-authored-by: Adrian <adrian.iosdev@gmail.com> 2023-11-21 09:44:16 -06:00			`error: aborting due to 1 previous error`
Clean up Simplify match statement Add multiple tests - 1 test for checking `N + 1 + 1` does not unify with `N+1` - 2 tests for checking that a function that uses two parameters only returns the parameter that is actually used. - Check exact repeat predicates 2022-12-21 15:53:52 -06:00