Backport "Update getting started docs." to 3.3 LTS

docs/_docs/contributing/setting-up-your-ide.md

@@ -42,7 +42,15 @@ want to make sure you do two things:
 +    val enableBspAllProjects = true,
 ```
 
-2. Run `sbt publishLocal` to get the needed presentation compiler jars.
+2. Run in sbt shell `sbt> scala3-bootstrapped/compile` and then `sbt> scala3-bootstrapped/publishLocalBin`
+   to get the required presentation compiler jars.
+
+   If any step fails due to random errors, try removing `./out/` directory and running `sbt> clean`
+
+   This step has to be repeated every time compiler version has been bumped.
+
+
+
 
 By default Metals uses Bloop build server, however you can also use sbt
 directly. You can achieve this with the `Metals: Switch Build Server` command

tests/neg/type-params.check

@@ -10,6 +10,10 @@
    |             s does not take type parameters
    |
    | longer explanation available when compiling with `-explain`
+-- Error: tests/neg/type-params.scala:17:35 ----------------------------------------------------------------------------
+17 |  class WellKindedWrongSyntax[s <: List] // error
+   |                                   ^^^^
+   |                                   type List takes type parameters
 -- Error: tests/neg/type-params.scala:21:26 ----------------------------------------------------------------------------
 21 |  object mp extends Monad[Tuple2] // error
    |                          ^^^^^^

tests/neg/type-params.scala

@@ -14,7 +14,7 @@ class `various ancient kindedness`:
     type t = x[x] // error
   trait WellKindedBounded[s <: Throwable]:
     val foo: s[Int] // error
-  class WellKindedWrongSyntax[s <: List] // must be s[x] <: List[x] ?
+  class WellKindedWrongSyntax[s <: List] // error
 
   class Monad[m[x]]