src/test/ui/traits/monomorphized-callees-with-ty-params-3314.rs

   1 // run-pass
   2 // pretty-expanded FIXME #23616
   3
   4 trait Serializer {
   5 }
   6
   7 trait Serializable {
   8     fn serialize<S:Serializer>(&self, s: S);
   9 }
  10
  11 impl Serializable for isize {
  12     fn serialize<S:Serializer>(&self, _s: S) { }
  13 }
  14
  15 struct F<A> { a: A }
  16
  17 impl<A:Serializable> Serializable for F<A> {
  18     fn serialize<S:Serializer>(&self, s: S) {
  19         self.a.serialize(s);
  20     }
  21 }
  22
  23 impl Serializer for isize {
  24 }
  25
  26 pub fn main() {
  27     let foo = F { a: 1 };
  28     foo.serialize(1);
  29
  30     let bar = F { a: F {a: 1 } };
  31     bar.serialize(2);
  32 }