Fix #5556: Check SAM types for realizability#5623

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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