odersky

I agree it would be good to think of an F-bounded test where the change proposed here would fail. I believe such tests exist, but they might be a bit...

The ccEnabled test asks whether it's enabled for the current compilationUnit. Is that set correctly for rendering? That's where I would look.

In fact, no, the compilation unit is "``"

I think this one should be solvable by being more precise which imports are in scope. Imports following a definition are never in scope for that definition.

@lenguyenthanh We did tests in the open CB and there was only a tiny minority of projects that broke (something like 5 out of 1500). I was myself very surprised...

The first example essentially comes down to this, once we get all type arguments and implicit arguments out of the way: ```scala case class FunctionName(name: String) implicit def functionName(name: String):...

The Akka example is similar, and comes down to the same problem.

So I think this has to be a won't fix. There's nothing we can reasonably do here. The inference is as intended.

I am not sure what exactly is proposed here.