Skip to content

Commit 7fa676e

Browse files
committed
SIL: Introduce SILType::hasParameterizedExistential()
1 parent 74941d3 commit 7fa676e

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

include/swift/SIL/SILType.h

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -419,6 +419,12 @@ class SILType {
419419
bool hasLocalArchetype() const {
420420
return getASTType()->hasLocalArchetype();
421421
}
422+
423+
/// Returns true if the referenced type is expressed in terms of one
424+
/// or more parameterized protocol types.
425+
bool hasParameterizedExistential() const {
426+
return getASTType()->hasParameterizedExistential();
427+
}
422428

423429
/// Returns the representation used by an existential type. If the concrete
424430
/// type is provided, this may return a specialized representation kind that

0 commit comments

Comments
 (0)