Here is the list of Scala 3 removals/additions/changes that should be turned into SIPs.

For the October meeting (22.10.2018)

• Trait parameters http://dotty.epfl.ch/docs/reference/trait-parameters.html (@liufengyun )
• Intersection types http://dotty.epfl.ch/docs/reference/intersection-types.html (@liufengyun )
• Union types http://dotty.epfl.ch/docs/reference/union-types.html (@smarter)
• Dependent function types http://dotty.epfl.ch/docs/reference/dependent-function-types.html (@olivier)
• Implicit function types http://dotty.epfl.ch/docs/reference/implicit-function-types.html (@olivier)

For the Nov. meetings

• New features
  • Type Lambdas https://dotty.epfl.ch/docs/reference/type-lambdas.html (@odersky)
  • Multiversal Equality https://dotty.epfl.ch/docs/reference/multiversal-equality.html (@allanrenucci)
  • Auto Parameter Tupling https://dotty.epfl.ch/docs/reference/auto-parameter-tupling.html (@nicolasstucki)
  • Named Type Arguments https://dotty.epfl.ch/docs/reference/named-typeargs.html (@smarter)
  • Enums https://dotty.epfl.ch/docs/reference/enums/enums.html (@smarter)
• Changed Features
  • Volatile Lazy Vals https://dotty.epfl.ch/docs/reference/changed/lazy-vals.html (@allanrenucci)
  • Structural Types https://dotty.epfl.ch/docs/reference/changed/structural-types.html (@Duhemm)
  • Implicit Resolution https://dotty.epfl.ch/docs/reference/changed/implicit-resolution.html
  • Implicit Conversions https://dotty.epfl.ch/docs/reference/changed/implicit-conversions.html (@Duhemm)
  • Vararg Patterns https://dotty.epfl.ch/docs/reference/changed/vararg-patterns.html (@allanrenucci)
  • Pattern matching https://dotty.epfl.ch/docs/reference/changed/pattern-matching.html
  • Eta Expansion https://dotty.epfl.ch/docs/reference/changed/eta-expansion.html (@biboudis)
• Dropped Features
  • Existential Types https://dotty.epfl.ch/docs/reference/dropped/existential-types.html (@Blaisorblade)
  • Type Projection https://dotty.epfl.ch/docs/reference/dropped/type-projection.html (@Blaisorblade)
  • Class Shadowing https://dotty.epfl.ch/docs/reference/dropped/class-shadowing.html (@olivier)
  • Weak Conformance https://dotty.epfl.ch/docs/reference/dropped/weak-conformance.html (@sjrd?)
• Already in batch 1 or 2 or earlier SIP
  • DelayedInit https://dotty.epfl.ch/docs/reference/dropped/delayed-init.html
  • Auto-Application https://dotty.epfl.ch/docs/reference/dropped/auto-apply.html
  • By-Name Implicits https://dotty.epfl.ch/docs/reference/implicit-by-name-parameters.html https://docs.scala-lang.org/sips/byname-implicits.html (@darjutak)
  • Trait Parameters https://dotty.epfl.ch/docs/reference/trait-parameters.html

Feel free to edit/refine/etc.