diff options
Diffstat (limited to 'src/test/ui/issues/issue-25700-2.rs')
-rw-r--r-- | src/test/ui/issues/issue-25700-2.rs | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/issues/issue-25700-2.rs b/src/test/ui/issues/issue-25700-2.rs deleted file mode 100644 index 89b1db496..000000000 --- a/src/test/ui/issues/issue-25700-2.rs +++ /dev/null @@ -1,23 +0,0 @@ -// 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); -} |