checker: fix MatchExpr type inferring when none is used

[felipensp]

Fix #23831

[huly-for-github]

Connected to Huly®: V_0.6-22238

[felipensp]

Make sure it fails with a similar message to the recent if change, if someone does this:

b := match 2 {
	0 { none }
	2 { none }
	else { none }
}

In other words, just like if, match has to have at least one value that is something other than none.

Oh yes, I've updated the PR to includes match as well.

[JalonSolov]

Yep, I saw the other PR after adding that comment - that's why I deleted it. :-)

[spytheman]

Excellent work.