SILGen: Add missing WitnessMarker to the synthesized generic signature of trait builtins.

Swift SVN r14946
This commit is contained in:
Joe Groff
2014-03-12 00:50:44 +00:00
parent 5f76473559
commit cdd2ec38d2

View File

@@ -2270,8 +2270,10 @@ namespace {
/// The type of trait builtins.
static SILType getTypeTraitSILType(ASTContext &C) {
auto param = CanGenericTypeParamType::get(0, 0, C);
auto reqt = Requirement(RequirementKind::WitnessMarker,
param, param);
auto metaTy = CanMetatypeType::get(param, MetatypeRepresentation::Thick, C);
auto sig = GenericSignature::get(param.getPointer(), {})
auto sig = GenericSignature::get(param.getPointer(), reqt)
->getCanonicalSignature();
auto boolTy = BuiltinIntegerType::get(1, C)
->getCanonicalType();