Fix #7159: Add missing asSeenFrom when updating denotations#7166

nicolasstucki merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#7159dotty-staging/dotty:fix-#7159Copy head branch name to clipboard