rust/src/test/ui/issues/issue-54954.stderr

error[E0379]: functions in traits cannot be declared const
  --> $DIR/issue-54954.rs:7:5
   |
LL |     const fn const_val<T: Sized>() -> usize {
   |     ^^^^^ functions in traits cannot be const

error[E0283]: type annotations needed
  --> $DIR/issue-54954.rs:3:24
   |
LL | const ARR_LEN: usize = Tt::const_val::<[i8; 123]>();
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type
...
LL |     const fn const_val<T: Sized>() -> usize {
   |                        - required by this bound in `Tt::const_val`
   |
   = note: cannot satisfy `_: Tt`

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0283, E0379.
For more information about an error, try `rustc --explain E0283`.
ast_validation: tweak diagnostic output 2020-02-11 01:19:21 -06:00			`error[E0379]: functions in traits cannot be declared const`
Fix ICE on const evaluation of const method 2019-04-17 14:00:35 -05:00			`--> $DIR/issue-54954.rs:7:5`
			`\|`
			`LL \| const fn const_val<T: Sized>() -> usize {`
ast_validation: tweak diagnostic output 2020-02-11 01:19:21 -06:00			`\| ^^^^^ functions in traits cannot be const`
Fix ICE on const evaluation of const method 2019-04-17 14:00:35 -05:00
Deduplicate logic 2019-10-29 19:28:39 -05:00			`error[E0283]: type annotations needed`
Fix ICE on const evaluation of const method 2019-04-17 14:00:35 -05:00			`--> $DIR/issue-54954.rs:3:24`
			`\|`
			`LL \| const ARR_LEN: usize = Tt::const_val::<[i8; 123]>();`
Avoid invalid suggestion by checking the snippet in const fn call 2019-12-10 16:15:38 -06:00			`\| ^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type`
Remove blanket silencing of "type annotation needed" errors Remove blanket check for existence of other errors before emitting "type annotation needed" errors, and add some eager checks to avoid adding obligations when they refer to types that reference `[type error]` in order to reduce unneded errors. 2019-09-24 13:05:49 -05:00			`...`
			`LL \| const fn const_val<T: Sized>() -> usize {`
Small tweaks to required bound span 2020-04-06 00:15:06 -05:00			\| - required by this bound in `Tt::const_val`
Deduplicate logic 2019-10-29 19:28:39 -05:00			`\|`
"cannot resolve" → "cannot satisfy" 2020-04-04 21:47:50 -05:00			= note: cannot satisfy `_: Tt`
Remove blanket silencing of "type annotation needed" errors Remove blanket check for existence of other errors before emitting "type annotation needed" errors, and add some eager checks to avoid adding obligations when they refer to types that reference `[type error]` in order to reduce unneded errors. 2019-09-24 13:05:49 -05:00
ty: convert `ErrorHandled::Reported` to `ConstKind::Error`. 2020-04-11 23:16:38 -05:00			`error: aborting due to 2 previous errors`
Fix ICE on const evaluation of const method 2019-04-17 14:00:35 -05:00
ty: convert `ErrorHandled::Reported` to `ConstKind::Error`. 2020-04-11 23:16:38 -05:00			`Some errors have detailed explanations: E0283, E0379.`
			For more information about an error, try `rustc --explain E0283`.