Ignore lifetime parameters properly when numbering type params#9

coord-e merged 5 commits intomaincoord-e/thrust:mainfrom

type-param-shiftcoord-e/thrust:type-param-shiftCopy head branch name to clipboard