Reporting correct region for result type mismatch.