# \[Pitch\] Reflection

**URL:** <https://forums.swift.org/t/pitch-reflection/61438>\
**Category:** Pitches\
**Tags:** reflection\
**Created:** [November 14, 2022, 11:01pm UTC](https://forums.swift.org/t/pitch-reflection/61438 "2022-11-14T23:01:52Z")\
**Posts on this page:** 1\
**Showing post:** 25

<div class="post-metadata">

**Author:** ![bbrk24](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/bbrk24/32/27370_2.png) [@bbrk24](https://forums.swift.org/u/bbrk24)\
**Post date:** [November 18, 2022, 5:25pm UTC](https://forums.swift.org/t/pitch-reflection/61438/25 "2022-11-18T17:25:40Z")

</div>

> [@benrimmington](#):
>
> Would `[AnyHashable: Any]` or `[Never: Never]` be more appropriate than `[Int: Int]` in the `PartialType` examples?

I was thinking of `[Void: Void]`, but I guess there's not always going to be a good equivalent -- what about `AsyncLineSequence` for example? Would I have to say something like `AsyncLineSequence<TaskGroup<UInt8>>`? There is no `AnyAsyncSequence<T>` type, and the `AsyncSequence` protocol doesn't currently support the generic syntax.

---

_[View the full topic](https://forums.swift.org/t/pitch-reflection/61438)._