Trying to implement an interface generates invalid code

[JavierGelatti]

📝 Note: I'm using the VSCode editor plugin.

Problem

Let's say I have an interface (a very simple one, for this example):

interface Config where
    debugMode : Bool

If I try to implement it, after writing the implementation header, I'm offered an option to add clause:

However, if I run the code action, the following invalid code gets generated

Config implementation at File:4:1--4:13 = ?Config implementation at File:4:1--4:13_rhs

and inserted below the declaration:

Expected behavior

A valid clause is generated, for example:

Config where
    debugMode = ?debugMode_rhs