Open
Description
This is a tracking issue for the RFC "Allow trivial constraints to appear in where clauses " (rust-lang/rfcs#2056).
Steps:
- Implement the RFC – Implement RFC 2056 trivial constraints in where clauses #48557
- As noted in Tracking issue for RFC #2056: Allow trivial constraints to appear in where clauses #48214 (comment), the new trait solver might solve a few issues with this feature, so this is currently blocked on the new trait solver (
-Znext-solver)
- As noted in Tracking issue for RFC #2056: Allow trivial constraints to appear in where clauses #48214 (comment), the new trait solver might solve a few issues with this feature, so this is currently blocked on the new trait solver (
- Adjust documentation (see instructions on forge)
- Stabilization PR (see instructions on forge)
Unresolved questions:
- Should the lint error by default instead of warn?
Metadata
Metadata
Assignees
Labels
Blocker: Approved by a merged RFC but not yet implemented.Blocker: Approved by a merged RFC and implemented but not stabilized.Blocker: Implemented in the nightly compiler and unstable.Category: An issue tracking the progress of sth. like the implementation of an RFC`#![feature(trivial_bounds)]`Status: The implementation is incomplete.Status: It's hard to tell what's been done and what hasn't! Someone should do some investigation.Relevant to the language team, which will review and decide on the PR/issue.