Tests of super contracts.  Failing test here, because we're not checking for non-final public methods when adding super (or later, override) contracts. We should check for that in both cases, as the contract suggests that the method in question is overrideable.
Tests of super contracts.  Failing test here, because we're not checking for
non-final public methods when adding super (or later, override) contracts.
We should check for that in both cases, as the contract suggests that the
method in question is overrideable.

svn: r18160

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket