Skip to content

Commit 938aa18

Browse files
committed
[Sema] Update docs for addMaterializePackExpansionConstraint
1 parent b01dbc5 commit 938aa18

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

include/swift/Sema/ConstraintSystem.h

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3823,14 +3823,16 @@ class ConstraintSystem {
38233823
/// Given a tuple with a single unlabeled element that represents a pack
38243824
/// expansion (either directly via \c PackExpansionType or through a type
38253825
/// variable constrained to a pack expansion), materialize the pack expansion
3826-
/// and return its pattern type as a result. The result is a type variable
3827-
/// because element of the tuple is not required to be resolved at the time of
3828-
/// the call and operation is delayed until the element is sufficiently
3829-
/// resolved (see \c simplifyMaterializePackExpansionConstraint)
3826+
/// and return its pack expansion type as a result. The result is a type
3827+
/// variable because element of the tuple is not required to be resolved at
3828+
/// the time of the call and operation is delayed until the element is
3829+
/// sufficiently resolved (see \c simplifyMaterializePackExpansionConstraint)
38303830
///
38313831
/// \param tupleType A tuple with a single unlabeled element that represents a
3832-
/// pack expansion.
3832+
/// pack expansion.
38333833
/// \param locator The locator.
3834+
///
3835+
/// \returns A type variable type that represents the pack expansion type.
38343836
TypeVariableType *
38353837
addMaterializePackExpansionConstraint(Type tupleType,
38363838
ConstraintLocatorBuilder locator);

0 commit comments

Comments
 (0)