@pnkfelix I want to spend a few hours on some NLL things. I am debating whether to look at diagnostics or compiler perf. Leaning towards the latter — I was going to dig perhaps into what exactly type check is doing and look if there are ways to make it cheaper, and perhaps do some profiling. Thoughts?
I think compiler perf is a good plan
I'm already worried about stepping on santiago's toes with the diagnostics changes that I'm investigating.
I was also interesting in syncing up with @David Wood on the region errors, I recall now