Skip to content

Fix hasMatchingMember handling NoDenotation#17977

Merged
odersky merged 2 commits intoscala:mainfrom
dwijnand:fix-hasMatchingMember-handling-NoDenotation
Jun 26, 2023

Commits

Commits on Jun 19, 2023