Smaller Type Check : Enable checking for conversion to smaller types, incompatible with any optimization type other than ...