Class Raw::OpaqueTypeDecl
INTERNAL: Do not use. A declaration of an opaque type, that is formally equivalent to a given type but abstracts it away.
Such a declaration is implicitly given when a declaration is written with an opaque result type, for example
func opaque() -> some SignedInteger { return 1 }
See https://docs.swift.org/swift-book/LanguageGuide/OpaqueTypes.html.
Import path
import codeql.swift.generated.RawDirect supertypes
Indirect supertypes
Predicates
| getNamingDeclaration | Gets the naming declaration of this opaque type declaration. |
| getOpaqueGenericParam | Gets the |
| toString |
Inherited predicates
| getGenericTypeParam | Gets the | from GenericContext |
| getInheritedType | Gets the | from TypeDecl |
| getInterfaceType | Gets the interface type of this value declaration. | from ValueDecl |
| getLocation | Gets the location associated with this element in the code, if it exists. | from Locatable |
| getMember | Gets the | from Decl |
| getModule | Gets the module of this declaration. | from Decl |
| getName | Gets the name of this type declaration. | from TypeDecl |
| isUnknown | Holds if this element is unknown. | from Element |