cairo_lang_sierra::extensions::modules::snapshot

Function snapshot_ty

source
pub fn snapshot_ty(
    context: &dyn SignatureSpecializationContext,
    ty: ConcreteTypeId,
) -> Result<ConcreteTypeId, SpecializationError>
Expand description

Returns the type snapshot for a given type T. For duplicatable returns T itself, as a regular dup is already a snapshot.