List<RangeBasedDiagnostic> _list_1 = IterableExtensions.<RangeBasedDiagnostic>toList(_filter_2);
diagnostics = _list_1;
String _join_2 = IterableExtensions.join(diagnostics, ", ");
int _size_2 = diagnostics.size();
Assert.assertEquals(_join_2, 1, _size_2);
RangeBasedDiagnostic _head_3 = IterableExtensions.<RangeBasedDiagnostic>head(diagnostics);
String _issueCode = _head_3.getIssueCode();
Assert.assertEquals(TargetPlatformValidator.CHECK__VERSION_KEYWORDS, _issueCode);
} catch (Throwable _e) {
throw Exceptions.sneakyThrow(_e);
}
}