Details
-
Sub-task
-
Status: Open
-
Major
-
Resolution: Unresolved
-
1.15.0
-
None
Description
For FLIP-196, we need a test that ensures that the transitive closure of methods wrt stability guarantees is respected. This means that return and parameter types of a method that has a stability guarantee must be at least as strong as the guarantee that is given for the method.
We might already have an architecture test for this case (we should check for it).