Add conformance test for `@final` combined with `@property` by samwgoldman · Pull Request #1916 · python/typing
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it's a good point that the spec text here it too specific ("previous" implies an order, should read "other").
On the other hand, I think it gets a bit too precise to enumerate orders. In Pyre (and I suspect Pyright too) the non-conformance arises from attaching the decorator metadata directly to a function type, so a chained decorator that returns a non-function runs into problems.
In terms of typing, the @property and @final signatures compose in either order, so I think it's clear that the definition is legal in either order.