Diagnosing Promotion Failures - 6.4.1