Backport "fix: look at the underlying of a TermRef for a getter" to 3.8.0#24614

Merged

WojciechMazur merged 1 commit intorelease-3.8.0from

release-3.8.0_backport-24565

Dec 2, 2025

Commits on Dec 1, 2025

fix: look at the underlying of a TermRef for a getter

hamzaremmal
authored and
WojciechMazur
committed