Validating #[Attribute] classes

[ondrejmirtes]

• When ClassLike has #[Attribute], it cannot be an interface nor a trait
• When Class_ has #[Attribute], it cannot be abstract
• When Class_ has #[Attribute], it cannot have a non-public constructor

[psalm-github-bot]

Hey @ondrejmirtes, can you reproduce the issue on https://psalm.dev ?

[ondrejmirtes]

These should report errors: https://psalm.dev/r/f59429d510

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f59429d510

<?php

#[Attribute]
interface Foo
{
}

#[Atribute]
trait Bar
{
}

#[Attribute]
abstract class Baz
{
}

Psalm output (using commit be275ae):

No issues!