Skip to content

AST->string does not reproduce constructor property promotion correctly #17101

Closed

Description

@DanielEScherzer

Description

The following code:

<?php

assert(false && new class (true) {
    public function __construct( public bool $boolVal ) {}
} );

Resulted in this output:

Fatal error: Uncaught AssertionError: assert(false && new class(true) {
    public function __construct(bool $boolVal) {
    }

}) in /in/rM9Hi:3
Stack trace:
#0 /in/rM9Hi(3): assert(false, 'assert(false &&...')
#1 {main}
  thrown in /in/rM9Hi on line 3

But I expected this output instead (note the public in the constructor property)

Fatal error: Uncaught AssertionError: assert(false && new class(true) {
    public function __construct(public bool $boolVal) {
    }

}) in /in/rM9Hi:3
Stack trace:
#0 /in/rM9Hi(3): assert(false, 'assert(false &&...')
#1 {main}
  thrown in /in/rM9Hi on line 3

See https://3v4l.org/rM9Hi

PHP Version

PHP 8.2+

Operating System

No response

Activity

  1. DanielEScherzer commented on Dec 9, 2024

    @DanielEScherzer
    MemberAuthor

    Discovered via the zend_test_compile_to_ast() function I'm adding as part of #16952 but exists in the current functionality

    Also fails with other promoted modifiers, like asymmetric visibility

  2. ndossche commented on Dec 9, 2024

    @ndossche
    Member

    Yeah this is definitely a bug, likely overlooked because anonymous classes are the only way you can print a function that has a promoted property as argument.

  3. self-assigned this
    on Dec 12, 2024
  4. ndossche commented on Dec 12, 2024

    @ndossche
    Member

    The fix for the visibility is simple, but the hooks are also not outputted so I'll try to tackle that too.

  5. ndossche commented on Dec 12, 2024

    @ndossche
    Member

    Another bug: the hook type is incorrect in AST printing for the following case:

    assert(false && new class {
        public $prop { set => $this->prop = 1; }
    });
  6. ndossche commented on Dec 17, 2024

    @ndossche
    Member

    Fixed via 6f41bfd..97f44b7

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions