Allow constraining a parameter to Nothing#19397

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

dwijnand:false-unreachdwijnand/scala3:false-unreachCopy head branch name to clipboard