Using impl trait in trait implementation

At first sight I believe it's similar to this and this.