File tree Expand file tree Collapse file tree 2 files changed +4
-17
lines changed Expand file tree Collapse file tree 2 files changed +4
-17
lines changed Original file line number Diff line number Diff line change @@ -6976,8 +6976,6 @@ class OpenedArchetypeType final : public LocalArchetypeType,
6976
6976
friend ArchetypeType;
6977
6977
friend GenericEnvironment;
6978
6978
6979
- UUID ID;
6980
-
6981
6979
// / Create a new opened archetype in the given environment representing
6982
6980
// / the interface type.
6983
6981
// /
@@ -6993,10 +6991,7 @@ class OpenedArchetypeType final : public LocalArchetypeType,
6993
6991
// / of an existential value.
6994
6992
// /
6995
6993
// / \param existential The existential type to open.
6996
- // / \param knownID When non-empty, the known ID of the archetype. When empty,
6997
- // / a fresh archetype with a unique ID will be opened.
6998
- static CanTypeWrapper<OpenedArchetypeType>
6999
- get (CanType existential, std::optional<UUID> knownID = std::nullopt);
6994
+ static CanTypeWrapper<OpenedArchetypeType> get (CanType existential);
7000
6995
7001
6996
// / Create a new archetype that represents the opened type
7002
6997
// / of an existential value.
@@ -7071,8 +7066,6 @@ class ElementArchetypeType final : public LocalArchetypeType,
7071
7066
friend ArchetypeType;
7072
7067
friend GenericEnvironment;
7073
7068
7074
- UUID ID;
7075
-
7076
7069
// / Create a new element archetype in the given environment representing
7077
7070
// / the interface type.
7078
7071
// /
Original file line number Diff line number Diff line change @@ -5561,19 +5561,13 @@ CanTypeWrapper<OpenedArchetypeType> OpenedArchetypeType::getNew(
5561
5561
properties));
5562
5562
}
5563
5563
5564
- CanOpenedArchetypeType OpenedArchetypeType::get (CanType existential,
5565
- std::optional<UUID> knownID) {
5564
+ CanOpenedArchetypeType OpenedArchetypeType::get (CanType existential) {
5566
5565
auto &ctx = existential->getASTContext ();
5567
5566
auto existentialSig = ctx.getOpenedExistentialSignature (existential);
5568
5567
5569
- if (!knownID)
5570
- knownID = UUID::fromTime ();
5571
-
5572
5568
auto *genericEnv = GenericEnvironment::forOpenedExistential (
5573
- existentialSig.OpenedSig ,
5574
- existentialSig.Shape ,
5575
- existentialSig.Generalization ,
5576
- *knownID);
5569
+ existentialSig.OpenedSig , existentialSig.Shape ,
5570
+ existentialSig.Generalization , UUID::fromTime ());
5577
5571
5578
5572
return cast<OpenedArchetypeType>(
5579
5573
genericEnv->mapTypeIntoContext (existentialSig.SelfType )
You can’t perform that action at this time.
0 commit comments