Inital from Sources of main:
@org.jetbrains.kotlin.plugin.sandbox.MyInterfaceSupertype
class Foo : foo.MyInterface

Restored in Sources of restoreInContextOf:
@org.jetbrains.kotlin.plugin.sandbox.MyInterfaceSupertype
class Foo : foo.MyInterface
