summaryrefslogtreecommitdiffstats
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rw-r--r--docs/progGuideDB/semantics.xml8
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index 379cb1cb2..da0b772b0 100644
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -1930,6 +1930,14 @@
an error for <replaceable>OnType</replaceable> to be an interface.
</para>
+ <para>
+ Inter-type declared constructors cannot be used to assign a
+ value to a final variable declared in <replaceable>OnType</replaceable>.
+ This limitation significantly increases the ability to both understand
+ and compile the <replaceable>OnType</replaceable> class and the
+ declaring aspect separately.
+ </para>
+
<para>
Note that in the Java language, classes that define no constructors
have an implicit no-argument constructor that just calls