success type casting