В цикле for-each по списку вызывается list.remove(element). Что произойдёт?

Название исключения вводит в заблуждение: «concurrent» здесь означает не многопоточность, а изменение коллекции параллельно с обходом. Механизм простой: коллекция ведёт счётчик структурных модификаций, итератор запоминает его значение и сверяет на каждом шаге; изменение через саму коллекцию счётчик увеличивает, а итератор об этом не знает. Это поведение fail-fast — попытка обнаружить ошибку как можно раньше, а не гарантия. Любопытная деталь: удаление предпоследнего элемента может не бросить исключение вовсе, потому что проверка hasNext сработает раньше сверки, и цикл просто тихо завершится — ещё один довод не полагаться на такой код.