| error: `[const]` is not allowed here |
| --> const-super-trait.rs:7:12 |
| | |
| LL | trait Bar: [const] Foo {} |
| | ^^^^^^^ |
| | |
| note: this trait is not `const`, so it cannot have `[const]` trait bounds |
| --> const-super-trait.rs:7:1 |
| | |
| LL | trait Bar: [const] Foo {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error[E0658]: const trait impls are experimental |
| --> const-super-trait.rs:7:12 |
| | |
| LL | trait Bar: [const] Foo {} |
| | ^^^^^^^ |
| | |
| = note: see issue #143874 <https://github.com/rust-lang/rust/issues/143874> for more information |
| = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable |
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date |
| |
| error[E0658]: const trait impls are experimental |
| --> const-super-trait.rs:9:17 |
| | |
| LL | const fn foo<T: [const] Bar>(x: &T) { |
| | ^^^^^^^ |
| | |
| = note: see issue #143874 <https://github.com/rust-lang/rust/issues/143874> for more information |
| = help: add `#![feature(const_trait_impl)]` to the crate attributes to enable |
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date |
| |
| error: `[const]` can only be applied to `const` traits |
| --> const-super-trait.rs:7:12 |
| | |
| LL | trait Bar: [const] Foo {} |
| | ^^^^^^^ can't be applied to `Foo` |
| | |
| help: enable `#![feature(const_trait_impl)]` in your crate and mark `Foo` as `const` to allow it to have `const` implementations |
| | |
| LL | #[const_trait] trait Foo { |
| | ++++++++++++++ |
| |
| error: `[const]` can only be applied to `const` traits |
| --> const-super-trait.rs:9:17 |
| | |
| LL | const fn foo<T: [const] Bar>(x: &T) { |
| | ^^^^^^^ can't be applied to `Bar` |
| | |
| help: enable `#![feature(const_trait_impl)]` in your crate and mark `Bar` as `const` to allow it to have `const` implementations |
| | |
| LL | #[const_trait] trait Bar: [const] Foo {} |
| | ++++++++++++++ |
| |
| error[E0015]: cannot call non-const method `<T as Foo>::a` in constant functions |
| --> const-super-trait.rs:10:7 |
| | |
| LL | x.a(); |
| | ^^^ |
| | |
| = note: calls in constant functions are limited to constant functions, tuple structs and tuple variants |
| |
| error: aborting due to 6 previous errors |
| |
| Some errors have detailed explanations: E0015, E0658. |
| For more information about an error, try `rustc --explain E0015`. |