| struct Header; | |
| struct EntryMetadata; | |
| struct Entry<A, B>(A, B); | |
| trait Tr { | |
| type EncodedKey; | |
| type EncodedValue; | |
| } | |
| fn test<C: Tr, R>( | |
| // This APIT is long, however we shouldn't render the type name with a newline in it. | |
| y: impl FnOnce( | |
| &mut Header, | |
| &mut [EntryMetadata], | |
| &mut [Entry<C::EncodedKey, C::EncodedValue>] | |
| ) -> R, | |
| ) { | |
| let () = y; | |
| //~^ ERROR mismatched types | |
| } | |
| fn main() {} |