Niepowodzenie kompilacji, jeśli wartość zwracana jest nieużywana dla określonego typu

Chciałbym, aby kompilacja nie powiodła się dla niektórych wywołań funkcji, ale nie dla innych. Wywołanie funkcji, które chcę zawieść, to te, które nie obsług...