@@ -116,31 +116,6 @@ static void collectAllActualResultsInTypeOrder(
116
116
}
117
117
}
118
118
119
- // / Given a range of types, joins these into a single type. If there's exactly
120
- // / one element type, returns that element type. Otherwise, creates a tuple type
121
- // / of all element types.
122
- template <typename TypeRange>
123
- static CanType joinElementTypes (TypeRange &&range, const ASTContext &ctx) {
124
- if (range.size () == 1 )
125
- return range.front ();
126
- auto typeElts =
127
- map<SmallVector<TupleTypeElt, 8 >>(range, [&](Type type) { return type; });
128
- return TupleType::get (typeElts, ctx);
129
- }
130
-
131
- // / Given a range of SIL values, retrieves the canonical types of these values,
132
- // / and joins these types into a single type.
133
- template <typename SILValueRange>
134
- static CanType joinElementTypesFromValues (SILValueRange &&range,
135
- const ASTContext &ctx) {
136
- if (range.size () == 1 )
137
- return range.front ()->getType ().getASTType ();
138
- SmallVector<TupleTypeElt, 8 > elts;
139
- transform (range, elts.begin (),
140
- [&](SILValue val) { return val->getType ().getASTType (); });
141
- return TupleType::get (elts, ctx)->getCanonicalType ();
142
- }
143
-
144
119
// / Returns the "constrained" derivative generic signature given:
145
120
// / - An original SIL function type.
146
121
// / - A wrt parameter index subset.
0 commit comments