1 files changed, 23 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-25700-2.rs b/src/test/ui/issues/issue-25700-2.rs
new file mode 100644
index 000000000..89b1db496
--- /dev/null
+++ b/src/test/ui/issues/issue-25700-2.rs
@@ -0,0 +1,23 @@
+// run-pass
+pub trait Parser {
+    type Input;
+}
+
+pub struct Iter<P: Parser>(#[allow(unused_tuple_struct_fields)] P, P::Input);
+
+#[allow(unused_tuple_struct_fields)]
+pub struct Map<P, F>(P, F);
+impl<P, F> Parser for Map<P, F> where F: FnMut(P) {
+    type Input = u8;
+}
+
+trait AstId { type Untyped; }
+impl AstId for u32 { type Untyped = u32; }
+
+fn record_type<Id: AstId>(i: Id::Untyped) -> u8 {
+    Iter(Map(i, |_: Id::Untyped| {}), 42).1
+}
+
+pub fn main() {
+    assert_eq!(record_type::<u32>(3), 42);
+}