Move type-projection file

This commit only exists to avoid git being confused, it is not independent of the following commit !

Author: Sporarum

docs/_docs/reference/dropped-features/type-projection.md renamed to docs/_docs/reference/changed-features/type-projection.md

@@ -9,7 +9,7 @@ and `A` names a type member of `T`.
 
 Scala 3 disallows this if `T` is an abstract type (class types and type aliases
 are fine). This change was made because unrestricted type projection
-is [unsound](https://github.com/lampepfl/dotty/issues/1050).
+is [unsound](https://github.com/scala/scala3/issues/1050).
 
 This restriction rules out the [type-level encoding of a combinator
 calculus](https://michid.wordpress.com/2010/01/29/scala-type-level-encoding-of-the-ski-calculus/).