Ibraheem Ahmed

Ah, interestingly, the examples above type check, but fail if I remove the `reveal_type` call, because we attempt to narrow the type context of the generic call.

The plan outlined in https://github.com/astral-sh/ty/issues/1473 would mean that we don't need to union in `Unknown`, and instead extend bidirectional inference to ensure type-safety at all uses of the collection (or...

It looks like the issue here is that the list element is a union of `TypedDict`s, which we currently don't support.

Thanks for the report, this looks like a regression in the latest release. We should support routes without a leading slash.

@programmerjake the proposed API creates a `Pin` directly. You're correct though, it would have to panic if any weak references were created (or alternatively, the API could be fallible). Note...