File tree Expand file tree Collapse file tree 2 files changed +8
-2
lines changed
test/SILOptimizer/lifetime_dependence Expand file tree Collapse file tree 2 files changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -4561,6 +4561,10 @@ SILParameterInfo TypeResolver::resolveSILParameter(
45614561
45624562 std::optional<TypeAttrSet> attrsBuffer;
45634563 TypeAttrSet *attrs = nullptr ;
4564+
4565+ if (auto *lifetimeRepr = dyn_cast<LifetimeDependentTypeRepr>(repr)) {
4566+ repr = lifetimeRepr->getBase ();
4567+ }
45644568 if (yieldAttrs) {
45654569 attrs = yieldAttrs;
45664570 assert (!isa<AttributedTypeRepr>(repr));
Original file line number Diff line number Diff line change @@ -13,8 +13,6 @@ sil_stage raw
1313
1414class C {}
1515
16- @_marker public protocol Escapable { }
17-
1816struct Nonescapable: ~Escapable {}
1917
2018sil @c_dependence : $@convention(thin) (@guaranteed C) -> _scope(0) @owned Nonescapable
5250 %t = tuple ()
5351 return %t : $()
5452}
53+
54+ public struct Container<Element> : ~Copyable, ~Escapable where Element : ~Copyable {}
55+
56+ sil [ossa] @parseInoutDep : $@convention(method) <Element where Element : ~Copyable> (_lifetime(_copy 0) @inout Container<Element>) -> ()
You can’t perform that action at this time.
0 commit comments