pub fn meter(
    meter: &mut TranslationMeter<'_, '_>,
    transaction: &Transaction,
) -> Result<(), ExecutionError>
Expand description

After loading and type checking, we do a second pass over the typed transaction to charge for type-related properties (before further analysis is done):

  • number of type nodes (including nested)
  • number of type references. These are charged non-linearly