enclosingInlineds: Clarify invariants#5009

Blaisorblade wants to merge 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:clarify-enclosedInvariants-dropInlineddotty-staging/dotty:clarify-enclosedInvariants-dropInlinedCopy head branch name to clipboard