Fix #1540: overloaded get and isDefined in option-less patmat#1597

odersky merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i1540dotty-staging/dotty:fix-i1540Copy head branch name to clipboard