Hm. * Can we get this the other way around, being able to mark classes with #[DisallowDynamicProperties]? * I would expect this to be the standard behavior on "final" classes. Unfortunately the RFC doesn't mention the word "final" anywhere. What do you think?
Best Thiemo