Dlaczego `private val " i "Private final val" różnią się od siebie?

Kiedyś myślałem, że private val i private final val są takie same, dopóki nie zobaczyłem sekcji 4.1 w Scali Reference:

Definicja wartości stałej ma postać

final val x = e

Gdzie e jest wyrażeniem stałym (§6.24). Ostateczny modyfikator musi być obecny i nie może być podana adnotacja o typie. Odniesienia do stałej wartości x są same w sobie traktowane jako wyrażenia stałe; w wygenerowanym kodzie są zastępowane przez definicję po prawej stronie e.

I mam napisał test:

class PrivateVal {
  private val privateVal = 0
  def testPrivateVal = privateVal
  private final val privateFinalVal = 1
  def testPrivateFinalVal = privateFinalVal
}

javap -c wyjście:

Compiled from "PrivateVal.scala"
public class PrivateVal {
  public int testPrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #19                 // Method privateVal:()I
       4: ireturn       

  public int testPrivateFinalVal();
    Code:
       0: iconst_1      
       1: ireturn       

  public PrivateVal();
    Code:
       0: aload_0       
       1: invokespecial #24                 // Method java/lang/Object."<init>":()V
       4: aload_0       
       5: iconst_0      
       6: putfield      #14                 // Field privateVal:I
       9: return
}

Kod bajtowy jest tak jak Scala Reference powiedział: private val nie jest private final val.

Dlaczego scalac nie traktuje private val jako private final val? Czy jest jakiś powód?