File: fn-const-param-infer.adt_const_params.stderr

package info (click to toggle)
rustc-web 1.85.0%2Bdfsg3-1~deb12u3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,759,988 kB
  • sloc: xml: 158,127; python: 35,830; javascript: 19,497; cpp: 19,002; sh: 17,245; ansic: 13,127; asm: 4,376; makefile: 1,056; lisp: 29; perl: 29; ruby: 19; sql: 11
file content (30 lines) | stat: -rw-r--r-- 1,098 bytes parent folder | download | duplicates (12)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
error[E0741]: using function pointers as const generic parameters is forbidden
  --> $DIR/fn-const-param-infer.rs:8:25
   |
LL | struct Checked<const F: fn(usize) -> bool>;
   |                         ^^^^^^^^^^^^^^^^^

error[E0308]: mismatched types
  --> $DIR/fn-const-param-infer.rs:33:25
   |
LL |     let _ = Checked::<{ generic_arg::<u32> }>;
   |                         ^^^^^^^^^^^^^^^^^^ expected fn pointer, found fn item
   |
   = note: expected fn pointer `fn(usize) -> _`
                 found fn item `fn(u32) -> _ {generic_arg::<u32>}`

error[E0282]: type annotations needed
  --> $DIR/fn-const-param-infer.rs:35:23
   |
LL |     let _ = Checked::<generic>;
   |                       ^^^^^^^ cannot infer type of the type parameter `T` declared on the function `generic`
   |
help: consider specifying the generic argument
   |
LL |     let _ = Checked::<generic::<T>>;
   |                              +++++

error: aborting due to 3 previous errors

Some errors have detailed explanations: E0282, E0308, E0741.
For more information about an error, try `rustc --explain E0282`.