asDefaultErrorDetails
Casts this ErrorDetails as a DefaultErrorDetails and retrieves its aws.sdk.kotlin.services.databasemigrationservice.model.DefaultErrorDetails value. Throws an exception if the ErrorDetails is not a DefaultErrorDetails.