Work around warning from late_bound_lifetime_arguments lint#260
Merged
bors-servo merged 1 commit intoservo:masterfrom Oct 21, 2019
lqd:warning_begone
Merged
Work around warning from late_bound_lifetime_arguments lint#260bors-servo merged 1 commit intoservo:masterfrom lqd:warning_begone
late_bound_lifetime_arguments lint#260bors-servo merged 1 commit intoservo:masterfrom
lqd:warning_begone