Skip to content

change the adaptors to preserve the "non-dependently typed" property #194

Open
@ericniebler

Description

@ericniebler

If a sender declares its completion signatures with a nested completion_signatures alias, then it is not a dependently-typed sender; that is, we don't need an environment to know how it completes.

Currently, the adaptors do not preserve this property, but they could and arguably should.

The algorithms can use that information to type-check non-dependently-typed senders early, which would be a huge usability improvement.

Metadata

Metadata

Assignees

Labels

P0Paper existsPaper exists, either WIP or pending-wg21enhancementNew feature or request

Type

No type

Projects

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions