CodeQL library for Swift
codeql/swift-all 2.0.4-dev (changelog, source)
Search

Predicate constructUnderlyingToOpaqueExpr

The characteristic predicate of UnderlyingToOpaqueExpr synthesized instances. INTERNAL: Do not use.

Import path

import codeql.swift.elements.expr.internal.UnderlyingToOpaqueExprConstructor
predicate constructUnderlyingToOpaqueExpr(UnderlyingToOpaqueExpr id)