Handle failure cases when type-checking call nodes