fix: terminate wildcard erasure lookup#6803

martinfrancois wants to merge 2 commits into

INRIA:masterINRIA/spoon:masterfrom

martinfrancois:agent/issue-6802-type-parameter-erasuremartinfrancois/spoon:agent/issue-6802-type-parameter-erasureCopy head branch name to clipboard