Hi Erik - wow! post-soundness really is a thing! - James > On 1/08/2016, at 10:14AM, Erik Ernst <eernst at cs.au.dk> wrote: > > I can add an extra fact on Dart here: It is possible for a class D to `implement` (not `extend`) a class C such that not all methods declared in C are actually implemented by D.