test case that verifies SI-8352
Merge pull request #3589 from xeno-by/topic/whitebox-typecheck-expecting-unit

test case that verifies SI-8352