src/test/ui/associated-types/associated-type-projection-from-multiple-supertraits.rs

   1 // Test equality constraints in a where clause where the type being
   2 // equated appears in a supertrait.
   3
   4 pub trait Vehicle {
   5     type Color;
   6
   7     fn go(&self) {  }
   8 }
   9
  10 pub trait Box {
  11     type Color;
  12     //
  13     fn mail(&self) {  }
  14 }
  15
  16 pub trait BoxCar : Box + Vehicle {
  17 }
  18
  19 fn dent<C:BoxCar>(c: C, color: C::Color) {
  20     //~^ ERROR ambiguous associated type `Color` in bounds of `C`
  21 }
  22
  23 fn dent_object<COLOR>(c: dyn BoxCar<Color=COLOR>) {
  24     //~^ ERROR ambiguous associated type
  25     //~| ERROR the value of the associated types
  26 }
  27
  28 fn paint<C:BoxCar>(c: C, d: C::Color) {
  29     //~^ ERROR ambiguous associated type `Color` in bounds of `C`
  30 }
  31
  32 fn dent_object_2<COLOR>(c: dyn BoxCar) where <dyn BoxCar as Vehicle>::Color = COLOR {
  33     //~^ ERROR the value of the associated types
  34     //~| ERROR equality constraints are not yet supported in `where` clauses
  35 }
  36
  37 fn dent_object_3<X, COLOR>(c: X)
  38 where X: BoxCar,
  39     X: Vehicle<Color = COLOR>,
  40     X: Box<Color = COLOR>
  41 {} // OK!
  42
  43 pub fn main() { }