-
-
Notifications
You must be signed in to change notification settings - Fork 15.1k
AFIT: strange errors on circular impls #112626
Copy link
Copy link
Open
Labels
C-bugCategory: This is a bug.Category: This is a bug.D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.D-incorrectDiagnostics: A diagnostic that is giving misleading or incorrect information.Diagnostics: A diagnostic that is giving misleading or incorrect information.D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.F-async_fn_in_traitStatic async fn in traitsStatic async fn in traitsT-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.
Metadata
Metadata
Assignees
Labels
C-bugCategory: This is a bug.Category: This is a bug.D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.D-incorrectDiagnostics: A diagnostic that is giving misleading or incorrect information.Diagnostics: A diagnostic that is giving misleading or incorrect information.D-terseDiagnostics: An error or lint that doesn't give enough information about the problem at hand.Diagnostics: An error or lint that doesn't give enough information about the problem at hand.F-async_fn_in_traitStatic async fn in traitsStatic async fn in traitsT-typesRelevant to the types team, which will review and decide on the PR/issue.Relevant to the types team, which will review and decide on the PR/issue.fixed-by-next-solverFixed by the next-generation trait solver, `-Znext-solver`.Fixed by the next-generation trait solver, `-Znext-solver`.
Type
Fields
Give feedbackNo fields configured for issues without a type.
Projects
StatusShow more project fields
Non-blocking
case 1 playground:
case 2 playground:
fails with a strange error. The equivalent without AFIT is accepted,
but the impls are considered to apply to no type because they're circularturns out the version with 2 traits does result in usable impls, it's an odd way of doing extension traits: playground. So I do think these should compile.@rustbot label F-async_fn_in_trait