src/test/ui/rfc-2632-const-trait-impl/trait-where-clause.stderr

   1 error[E0277]: the trait bound `T: ~const Bar` is not satisfied
   2   --> $DIR/trait-where-clause.rs:13:5
   3    |
   4 LL |     T::b();
   5    |     ^^^^ the trait `~const Bar` is not implemented for `T`
   6    |
   7 note: the trait `Bar` is implemented for `T`, but that implementation is not `const`
   8   --> $DIR/trait-where-clause.rs:13:5
   9    |
  10 LL |     T::b();
  11    |     ^^^^
  12 note: required by a bound in `Foo::b`
  13   --> $DIR/trait-where-clause.rs:7:24
  14    |
  15 LL |     fn b() where Self: ~const Bar;
  16    |                        ^^^^^^^^^^ required by this bound in `Foo::b`
  17 help: consider further restricting this bound
  18    |
  19 LL | const fn test1<T: ~const Foo + Bar + ~const Bar>() {
  20    |                                    ++++++++++++
  21
  22 error[E0277]: the trait bound `T: ~const Bar` is not satisfied
  23   --> $DIR/trait-where-clause.rs:15:5
  24    |
  25 LL |     T::c::<T>();
  26    |     ^^^^^^^^^ the trait `~const Bar` is not implemented for `T`
  27    |
  28 note: the trait `Bar` is implemented for `T`, but that implementation is not `const`
  29   --> $DIR/trait-where-clause.rs:15:5
  30    |
  31 LL |     T::c::<T>();
  32    |     ^^^^^^^^^
  33 note: required by a bound in `Foo::c`
  34   --> $DIR/trait-where-clause.rs:8:13
  35    |
  36 LL |     fn c<T: ~const Bar>();
  37    |             ^^^^^^^^^^ required by this bound in `Foo::c`
  38 help: consider further restricting this bound
  39    |
  40 LL | const fn test1<T: ~const Foo + Bar + ~const Bar>() {
  41    |                                    ++++++++++++
  42
  43 error[E0277]: the trait bound `T: Bar` is not satisfied
  44   --> $DIR/trait-where-clause.rs:27:5
  45    |
  46 LL |     T::b();
  47    |     ^^^^ the trait `Bar` is not implemented for `T`
  48    |
  49 note: required by a bound in `Foo::b`
  50   --> $DIR/trait-where-clause.rs:7:24
  51    |
  52 LL |     fn b() where Self: ~const Bar;
  53    |                        ^^^^^^^^^^ required by this bound in `Foo::b`
  54 help: consider further restricting this bound
  55    |
  56 LL | fn test3<T: Foo + Bar>() {
  57    |                 +++++
  58
  59 error[E0277]: the trait bound `T: Bar` is not satisfied
  60   --> $DIR/trait-where-clause.rs:29:5
  61    |
  62 LL |     T::c::<T>();
  63    |     ^^^^^^^^^ the trait `Bar` is not implemented for `T`
  64    |
  65 note: required by a bound in `Foo::c`
  66   --> $DIR/trait-where-clause.rs:8:13
  67    |
  68 LL |     fn c<T: ~const Bar>();
  69    |             ^^^^^^^^^^ required by this bound in `Foo::c`
  70 help: consider further restricting this bound
  71    |
  72 LL | fn test3<T: Foo + Bar>() {
  73    |                 +++++
  74
  75 error: aborting due to 4 previous errors
  76
  77 For more information about this error, try `rustc --explain E0277`.