Backport "Remove tvars introduced while testing normalizedCompatible" to 3.3 LTS#88

Merged

tgodzik merged 3 commits intolts-3.3from

backport-lts-3.3-21466

Feb 19, 2025

Commits on Feb 17, 2025

Remove tvars introduced while testing normalizedCompatible

dwijnand
authored and
tgodzik
committed
Remove tvars in normalizedCompatible via instantiate

dwijnand
authored and
tgodzik
committed

Commits on Feb 18, 2025

bugfix: Fix one invocation after conflicts in a PR
tgodzik
committed