| error: const `impl` for trait `Try` which is not marked with `#[const_trait]` |
| --> $DIR/trait-default-body-stability.rs:18:12 |
| | |
| LL | impl const Try for T { |
| | ^^^ |
| | |
| = note: marking a trait with `#[const_trait]` ensures all default method bodies are `const` |
| = note: adding a non-const method body in the future would be a breaking change |
| |
| error: const `impl` for trait `FromResidual` which is not marked with `#[const_trait]` |
| --> $DIR/trait-default-body-stability.rs:33:12 |
| | |
| LL | impl const FromResidual for T { |
| | ^^^^^^^^^^^^ |
| | |
| = note: marking a trait with `#[const_trait]` ensures all default method bodies are `const` |
| = note: adding a non-const method body in the future would be a breaking change |
| |
| error[E0207]: the const parameter `host` is not constrained by the impl trait, self type, or predicates |
| --> $DIR/trait-default-body-stability.rs:18:6 |
| | |
| LL | impl const Try for T { |
| | ^^^^^ unconstrained const parameter |
| | |
| = note: expressions using a const parameter must map each value to a distinct output value |
| = note: proving the result of expressions other than the parameter are unique is not supported |
| |
| error[E0207]: the const parameter `host` is not constrained by the impl trait, self type, or predicates |
| --> $DIR/trait-default-body-stability.rs:33:6 |
| | |
| LL | impl const FromResidual for T { |
| | ^^^^^ unconstrained const parameter |
| | |
| = note: expressions using a const parameter must map each value to a distinct output value |
| = note: proving the result of expressions other than the parameter are unique is not supported |
| |
| error: aborting due to 4 previous errors |
| |
| For more information about this error, try `rustc --explain E0207`. |