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.