MissingPropertyType not emitted

[thbley]

current: no error
expected: INFO: MissingPropertyType - Property test::$test does not have a declared type

https://psalm.dev/r/2971313991

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/2971313991

<?php

class test {
    public $test;
    
    public function __construct(DateTime $date) {
        $this->test = $date;
    }
}

$test = new test(new DateTime());
echo $test->test->format('c');

Psalm output (using commit 6d4d166):

No issues!

[weirdan]

This is by design, in this case Psalm infers the type from the assignment in constructor. You should be able to turn it off with inferPropertyTypesFromConstructor flag in psalm.xml, but currently the flag is missing from the schema (and documentation).

[thbley]

Would be good to have it in the schema and the documentation!

Using: inferPropertyTypesFromConstructor="false"

I get:

Problem parsing psalm.xml:
  Error on line 22:
    Element '{https://getpsalm.org/schema/config}psalm', attribute 'inferPropertyTypesFromConstructor': The attribute 'inferPropertyTypesFromConstructor' is not allowed.

[thbley]

Thank you!