Что означает «переменная нового типа» в главе JLS Преобразования и поощрения ?
Fresh - это общее обозначение переменной, которая не должна была использоваться ранее.