Test whether compilation works when we define a superinterface late.
Test whether compilation works when we define a superinterface late.

felixvf/mirah,mirah/mirah,mirah/mirah,felixvf/mirah,mirah/mirah,mirah/mirah,felixvf/mirah,felixvf/mirah