What does "fresh type variable" mean in the JLS Conversions and Promotions chapter?
Fresh is the common designation for a variable that must not have been used before.