change to @TypeChecked for a test in the application plugin