ruff
[ty] Remove unnecessary lifetimes for `Task`
#18261

Merged

[ty] Remove unnecessary lifetimes for `Task` #18261

MichaReiser merged 1 commit into main from micha/remove-unnecessary-lifetimes

MichaReiser requested a review from

carljm 247 days ago

MichaReiser requested a review from

AlexWaygood 247 days ago

MichaReiser requested a review from

sharkdp 247 days ago

MichaReiser requested a review from

dcreager 247 days ago

MichaReiser added internal

MichaReiser added ty

MichaReiser changed the base branch from main to micha/panic-handlers-backround-threads 247 days ago

carljm approved these changes on 2025-05-22

Base automatically changed from micha/panic-handlers-backround-threads to main 243 days ago

Remove unnecessary lifetimes

8bd8ab7d

MichaReiser force pushed from 397f1bc8 to 8bd8ab7d 243 days ago

MichaReiser enabled auto-merge (squash) 243 days ago

MichaReiser merged 175402aa into main 243 days ago

MichaReiser deleted the micha/remove-unnecessary-lifetimes branch 243 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone