@Test
public void testDuplicateArgModifier() {
final Checker checker = new StandardChecker();
final Constructor constructor = new Constructor(NO_COMMENTS, "Bar", list(Arg._Arg(list(ArgModifier._Final(), ArgModifier._Final()), Type._Primitive(PrimitiveType._IntType()), "foo")));
final DataType dataType = new DataType(NO_COMMENTS, NO_ANNOTATIONS, "Foo", Util.<String>list(), NO_EXTENDS, NO_IMPLEMENTS, list(constructor));
final Doc doc = new Doc("CheckerTest", Pkg._Pkg(NO_COMMENTS, ""), NO_IMPORTS, list(dataType));
final List<SemanticError> errors = checker.check(doc);
assertEquals(1, errors.size());
assertTrue(errors.contains(_DuplicateModifier(dataType.name, constructor.name, "foo", "final")));
}