Report question

Question: int promotion: Is the following well-defined?