Create extension method in infer method action

[zielinsky]

When trying to infer a method on a type that cannot be modified, instead of returning empty edits, create an extension method in the current scope.

Fixes https://github.com/scalameta/metals/issues/7998