Take inferred or explicit refinement result for unused check#23325
Merged
som-snytt merged 1 commit intoscala:mainfrom Jun 11, 2025
Merged
Take inferred or explicit refinement result for unused check#23325som-snytt merged 1 commit intoscala:mainfrom
som-snytt merged 1 commit intoscala:mainfrom