[TypeChecker] Diagnose empty `switch` statements in function builder bodies
If there are no 'case' statements in the body let's try
to diagnose this situation via limited exhaustiveness check
before failing a builder transform, otherwise type-checker
might end up without any diagnostics which leads to crashes
in SILGen.
Resolves: rdar://problem/65983237
(cherry picked from commit 0cac079d0074ea261124d0ed7fd9916742cd9ea8)