Use checkState() in ModuleInfoBackedContext

No match.