Hi! I'm currently using #[ArrayShape([...])] in my project which is a public library. This is a phpstorm annotation to tell the IDE which array keys exist. How does PHP handle this? If the class does not exist? I assume it is just ignored? Is this default behaviour? Can't find it in the docs.
