Promotion is interpreted correctly