error: lifetime parameters must be declared prior to const parameters
  --> $DIR/const-param-before-other-params.rs:6:21
   |
LL | fn bar<const X: (), 'a>(_: &'a ()) {
   |       --------------^^- help: reorder the parameters: lifetimes, then types, then consts: `<'a, const X: ()>`

error: type parameters must be declared prior to const parameters
  --> $DIR/const-param-before-other-params.rs:11:21
   |
LL | fn foo<const X: (), T>(_: &T) {}
   |       --------------^- help: reorder the parameters: lifetimes, then types, then consts: `<T, const X: ()>`

error: `()` is forbidden as the type of a const generic parameter
  --> $DIR/const-param-before-other-params.rs:6:17
   |
LL | fn bar<const X: (), 'a>(_: &'a ()) {
   |                 ^^
   |
   = note: the only supported types are integers, `bool` and `char`
   = help: more complex types are supported with `#[feature(const_generics)]`

error: `()` is forbidden as the type of a const generic parameter
  --> $DIR/const-param-before-other-params.rs:11:17
   |
LL | fn foo<const X: (), T>(_: &T) {}
   |                 ^^
   |
   = note: the only supported types are integers, `bool` and `char`
   = help: more complex types are supported with `#[feature(const_generics)]`

error: aborting due to 4 previous errors