Fix #1396, #1403: Properly handle unbound wildcard types#1431

odersky merged 4 commits intoscala:masterscala/scala3:masterfrom

cswinter:wip-unboundwildcardcswinter/dotty:wip-unboundwildcardCopy head branch name to clipboard