Const parameters can not be inferred with _ help note

[eopb]

This should close: #79557

Example output

error[E0747]: type provided when a constant was expected
 --> inferred_const_note.rs:6:19
  |
6 |     let a = foo::<_, 2>([0, 1, 2]);
  |                   ^
  |
  = help: Const parameters can not be inferred with `_`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0747`.

r? @lcnr

[varkor]

I think this closes #79557, but #70754 should be left open for actually supporting _ for const arguments.

[varkor]

Could you squash the three commits into one? After that, it looks good to me.

[eopb]

Done, Thanks @varkor

[varkor]

Thanks!

@bors r+ rollup

[bors]

📌 Commit 6845e22 has been approved by varkor

[bors]

⌛ Testing commit 6845e22 with merge a68864b...

[bors]

☀️ Test successful - checks-actions
Approved by: varkor
Pushing a68864b to master...