A lending iterator trait based on generic associated types and higher-rank trait bounds - View it on GitHub