Win Wang

We already have the stuff in `gettingstarted.md`. I will update this ticket later regarding what we need, thanks!

So Rsc can already infer for `final val` literals -- but not for `val`s, even in `object`. Since `object`s aren't extended, we can have `RscCompat` add `final` to these "constants"...

Incredibly, adding `final` would possibly be bad since `scalac` does not treat these `val`s in `object`s as `final`: https://stackoverflow.com/questions/12309114/why-is-a-val-inside-an-object-not-automatically-final

Yes, I believe we can do what you're describing, at least for objects which don't extend anything. Though in this case it wouldn't be helping with the "subvert optimizations" since...

Note: this is unlikely to have high return on investment for the kind targets we've run RscCompat on (apparently this is rare-ish).

Given: ```scala class Box[A] def foo = null.asInstanceOf[Box[_]] ``` Obtained: ```scala def foo: Box[T1] forSome { type T1 } = null.asInstanceOf[Box[_]] ``` Expected: ```scala def foo: Box[_] = null.asInstanceOf[Box[_]] ```...

https://github.com/twitter/rsc/issues/420 is similar, but this might be a separate issue.

Actually, this would require the ability to "Organize Imports" which is not currently supported by Scalafix.

Extremely non-obvious that `mamba env create` falls back to `conda`... not even using `libmamba` solver. I am now using `mamba env create -f env.yml --solver=libmamba` to get around `conda` being...