6.12.3 не имеет отношение к #::. Это скорее о списковых операциях ::, :::. В скале если оператор начинается с: он автоматически становится право ассоцивными и выполняется от правого аргумента.
1 :: 2 :: 3 :: Nil // List[Int]().::(3).::(2).::(1)
Если посмотреть на код, то #:: это просто синоним к cons:
github.com/scala/scala/blob/v2.10.2/src/library/scala/collection/immutable/Stream.scala#L1042 
