Module bytecode_verifier::constants
source · Expand description
This module implements a checker for verifying that
- a constant’s type only refers to primitive types
- a constant’s data serializes correctly for that type
This module implements a checker for verifying that