1Test that we do the right thing with invoke-super on interfaces when there are 2verifier errors. 3 4