Fix #3861: Spec changes to extractors implemented in #3747#4024

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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