I tried this:

A bug opened during the work on #6637

  interface ICat {
      inflight stepOnKeyboard(): str;
                     //^
    }
    
    class Cat impl ICat {
      pub inflight stepOnKeyboard(): str {
                 
         return "/..,.o0e";
      }
    }
    
    let hershy = new Cat();
    
    test "cat misbehaves" {
      hershy.stepOnKeyboard();
    }

This happened:

Nothing
(since not implemented yet)

I expected this:

renaming ICat.stepOnKeyboard should trigger a rename Cat.stepOnKeyboard and hershy.stepOnKeyboard as well (and vice versa)

Is there a workaround?

No response

Anything else?

No response

Wing Version

No response

Node.js Version

No response

Platform(s)

No response

Community Notes

• Please vote by adding a 👍 reaction to the issue to help us prioritize.
• If you are interested to work on this issue, please leave a comment.