1 files changed, 32 insertions, 0 deletions
diff --git a/src/test/ui/traits/monomorphized-callees-with-ty-params-3314.rs b/src/test/ui/traits/monomorphized-callees-with-ty-params-3314.rs
new file mode 100644
index 000000000..bc314a39d
--- /dev/null
+++ b/src/test/ui/traits/monomorphized-callees-with-ty-params-3314.rs
@@ -0,0 +1,32 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+trait Serializer {
+}
+
+trait Serializable {
+    fn serialize<S:Serializer>(&self, s: S);
+}
+
+impl Serializable for isize {
+    fn serialize<S:Serializer>(&self, _s: S) { }
+}
+
+struct F<A> { a: A }
+
+impl<A:Serializable> Serializable for F<A> {
+    fn serialize<S:Serializer>(&self, s: S) {
+        self.a.serialize(s);
+    }
+}
+
+impl Serializer for isize {
+}
+
+pub fn main() {
+    let foo = F { a: 1 };
+    foo.serialize(1);
+
+    let bar = F { a: F {a: 1 } };
+    bar.serialize(2);
+}