Module DerivedToBaseExprConstructor
This module defines the hook used internally to tweak the characteristic predicate of
DerivedToBaseExpr synthesized instances.
INTERNAL: Do not use.
Import path
import codeql.swift.elements.expr.internal.DerivedToBaseExprConstructorPredicates
| constructDerivedToBaseExpr | The characteristic predicate of |