/*
* @test /nodynamiccopyright/
* @bug 4666866 4785453
* @summary REGRESSION: Generated error message unhelpful for missing methods
* @author gafter
*
* @compile/fail/ref=T4666866.out -XDrawDiagnostics T4666866.java
*/
class t implements Runnable {}