Right now there's no good way to make UniversalAnnotation be Constable according to the rules.
So it follows that a UniversalConstruct's annotations are derivative as far as Constable is concerned.
So if the collection of annotations contains one synthetic annotation, then we should probably just convert all the others to synthetics as well. Those are Constable and can reliably be Constable.
So then UniversalConstruct can just say, well, if there aren't any synthetics in the annotations collection when it's time to puke out a nominal descriptor, we just ignore them. Then the constructor will reconstitute the non-synthetics on thaw. If there is at least one synthetic, then convert everything to synthetics (any problems incurred by synthetics will exist anyway).
Right now there's no good way to make
UniversalAnnotationbeConstableaccording to the rules.So it follows that a
UniversalConstruct's annotations are derivative as far asConstableis concerned.So if the collection of annotations contains one synthetic annotation, then we should probably just convert all the others to synthetics as well. Those are
Constableand can reliably beConstable.So then
UniversalConstructcan just say, well, if there aren't any synthetics in the annotations collection when it's time to puke out a nominal descriptor, we just ignore them. Then the constructor will reconstitute the non-synthetics on thaw. If there is at least one synthetic, then convert everything to synthetics (any problems incurred by synthetics will exist anyway).