Skip to content

Backport "Take inferred or explicit refinement result for unused check" to 3.3 LTS#457

Merged
tgodzik merged 2 commits intolts-3.3from
backport-lts-3.3-23325
Jun 20, 2025
Merged

Backport "Take inferred or explicit refinement result for unused check" to 3.3 LTS#457
tgodzik merged 2 commits intolts-3.3from
backport-lts-3.3-23325

Commits

Commits on Jun 20, 2025