src/test/ui/const-generics/fn-const-param-infer.stderr

warning: the feature `const_generics` is incomplete and may cause the compiler to crash
  --> $DIR/fn-const-param-infer.rs:1:12
   |
LL | #![feature(const_generics, const_compare_raw_pointers)]
   |            ^^^^^^^^^^^^^^
   |
   = note: `#[warn(incomplete_features)]` on by default

error[E0308]: mismatched types
  --> $DIR/fn-const-param-infer.rs:16:33
   |
LL |     let _: Checked<{not_one}> = Checked::<{not_two}>;
   |                                 ^^^^^^^^^^^^^^^^^^^^ expected `not_one`, found `not_two`
   |
   = note: expected type `Checked<not_one>`
              found type `Checked<not_two>`

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

error[E0282]: type annotations needed
  --> $DIR/fn-const-param-infer.rs:22:24
   |
LL |     let _ = Checked::<{generic}>;
   |                        ^^^^^^^ cannot infer type for `T`

error[E0308]: mismatched types
  --> $DIR/fn-const-param-infer.rs:25:40
   |
LL |     let _: Checked<{generic::<u32>}> = Checked::<{generic::<u16>}>;
   |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `generic::<u32>`, found `generic::<u16>`
   |
   = note: expected type `Checked<generic::<u32>>`
              found type `Checked<generic::<u16>>`

error: aborting due to 4 previous errors

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