Also doesn't this disprove his default methods claim, or have I misunderstood?

    package defmeth
    type I interface { foo(); }
    type defs struct { }
    func (s *defs) foo() { }
    var _ I = (*defs)(nil);
    
    type usage struct { defs; a int; }
    
    var _ I = (*usage)(nil);