Function debug_verify_type 

pub fn debug_verify_type(
    value: &Value,
    declared_type: TypeId,
    module: &Module,
    colors: Colors,
)

Debug-only type verification.

Panics with a pretty diagnostic if the value doesn’t match the declared type. This is a no-op in release builds.

declared_type should be the result_type from the entrypoint that was executed.