[iliaal]

Fixes #14874. Adds a uint32_t line field to zend_property_info and zend_class_constant captured from the AST node, so the variance emitters route through zend_error_at_noreturn and point at the offending child member. Members left at line 0 (internal classes, trait-copied properties) fall back to the legacy emitter.

[jorgsowa]

Can you add test case with trait from different file? Your fix may not work with it.

Example:

Zend/tests/type_declarations/gh14874_trait.inc:
<?php

trait T {
    public const int X = 1;
}

Zend/tests/type_declarations/gh14874_trait.phpt:
--TEST--
GH-14874 (Incorrect lineno for class const variance check with trait constant)
--FILE--
<?php

require __DIR__ . '/gh14874_trait.inc';

interface I {
    public const string X = '';
}

class C implements I {
    use T;
}
?>
--EXPECTF--
Fatal error: Type of C::X must be compatible with I::X of type string in %sgh14874_trait.php on line 9

[iliaal]

Ah, indeed: the copied constant kept the trait's line but took C's file, so it pointed at line 4 of the wrong file. Constants copied from traits now fall back to the old location, as trait properties already did, and I added your test.