starkat99 Merge pull request #18 from KlossPeter/elide-lifetimes

elide some lifetimes

Latest commit 4714d8b

Oct 4, 2018