error: using `#![feature(effects)]` without enabling next trait solver globally
   |
   = note: the next trait solver must be enabled globally for the effects feature to work correctly
   = help: use `-Znext-solver` to enable

error[E0308]: mismatched types
  --> $DIR/constifconst-call-in-const-position.rs:17:38
   |
LL | const fn foo<T: ~const Tr>() -> [u8; T::a()] {
   |                                      ^^^^^^ expected `false`, found `host`
   |
   = note: expected constant `false`
              found constant `host`

error[E0308]: mismatched types
  --> $DIR/constifconst-call-in-const-position.rs:18:9
   |
LL |     [0; T::a()]
   |         ^^^^^^ expected `false`, found `host`
   |
   = note: expected constant `false`
              found constant `host`

error: aborting due to 3 previous errors

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