]>
Commit | Line | Data |
---|---|---|
5099ac24 | 1 | error[E0277]: the trait bound `(): ~const Tr` is not satisfied |
2b03887a | 2 | --> $DIR/default-method-body-is-const-body-checking.rs:12:15 |
a2a8927a XL |
3 | | |
4 | LL | foo::<()>(); | |
5099ac24 | 5 | | ^^ the trait `~const Tr` is not implemented for `()` |
a2a8927a | 6 | | |
5099ac24 | 7 | note: the trait `Tr` is implemented for `()`, but that implementation is not `const` |
2b03887a | 8 | --> $DIR/default-method-body-is-const-body-checking.rs:12:15 |
5099ac24 FG |
9 | | |
10 | LL | foo::<()>(); | |
11 | | ^^ | |
a2a8927a | 12 | note: required by a bound in `foo` |
2b03887a | 13 | --> $DIR/default-method-body-is-const-body-checking.rs:7:28 |
a2a8927a XL |
14 | | |
15 | LL | const fn foo<T>() where T: ~const Tr {} | |
16 | | ^^^^^^^^^ required by this bound in `foo` | |
a2a8927a XL |
17 | |
18 | error: aborting due to previous error | |
19 | ||
20 | For more information about this error, try `rustc --explain E0277`. |