{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"assert!(promoted.is_none()"}]}
        assert!(promoted.is_none() || Q::ALLOW_PROMOTED);
        // check performed after the promotion. Verify that with an assertion.