The ReportContext interface gained a States() []CheckState accessor; the test double needs a trivial implementation to satisfy the interface.