OptionalTypecheck
AnnotatedTraitSupportBlackboxMacro
optional
AnnotatedType
Nested
Scalar
Value