Partial specification for InstantiateSucceeded.