scala.tools.nsc.backend.icode
This class performs a set of checks similar to what the bytecode verifier does.