Do not consider traits that have unsatisfied const conditions to be conditionally const by compiler-errors · Pull Request #135425 · rust-lang/rust (original) (raw)
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Conversation9 Commits1 Checks6 Files changed
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters
[ Show hidden characters]({{ revealButtonHref }})
This will improve error messages as we continue to constify traits, since we don't want to start calling things "conditionally const" if they aren't implemented with a const impl anyways.
The only case that this affects today is Deref since that's one of the only constified traits in the standard library :)
r? RalfJung
Status: Awaiting review from the assignee but also interested parties.
Relevant to the compiler team, which will review and decide on the PR/issue.
labels
Some changes occurred to the CTFE machinery
cc @rust-lang/wg-const-eval
LGTM, thanks! r=me after rebase to resolve conflicts.
📌 Commit 2669f2a has been approved by RalfJung
It is now in the queue for this repository.
Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
and removed S-waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
labels
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request
…const, r=RalfJung
Do not consider traits that have unsatisfied const conditions to be conditionally const
This will improve error messages as we continue to constify traits, since we don't want to start calling things "conditionally const" if they aren't implemented with a const impl anyways.
The only case that this affects today is Deref since that's one of the only constified traits in the standard library :)
r? RalfJung
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request
…const, r=RalfJung
Do not consider traits that have unsatisfied const conditions to be conditionally const
This will improve error messages as we continue to constify traits, since we don't want to start calling things "conditionally const" if they aren't implemented with a const impl anyways.
The only case that this affects today is Deref since that's one of the only constified traits in the standard library :)
r? RalfJung
bors added a commit to rust-lang-ci/rust that referenced this pull request
…iaskrgr
Rollup of 7 pull requests
Successful merges:
- rust-lang#134940 (Make sure to scrape region constraints from deeply normalizing type outlives assumptions in borrowck)
- rust-lang#135047 (Add gpu-kernel calling convention)
- rust-lang#135228 (Improve
DispatchFromDynandCoerceUnsizedimpl validation) - rust-lang#135264 (Consider more erroneous layouts as
LayoutError::ReferencesErrorto suppress spurious errors) - rust-lang#135302 (for purely return-type based searches, deprioritize clone-like functions)
- rust-lang#135380 (Make sure we can produce
ConstArgHasWrongTypeerrors for valtree consts) - rust-lang#135425 (Do not consider traits that have unsatisfied const conditions to be conditionally const)
r? @ghost
@rustbot modify labels: rollup
bors added a commit to rust-lang-ci/rust that referenced this pull request
…kingjubilee
Rollup of 11 pull requests
Successful merges:
- rust-lang#134913 (bootstrap: do not rely on LIBRARY_PATH env variable)
- rust-lang#134940 (Make sure to scrape region constraints from deeply normalizing type outlives assumptions in borrowck)
- rust-lang#135228 (Improve
DispatchFromDynandCoerceUnsizedimpl validation) - rust-lang#135264 (Consider more erroneous layouts as
LayoutError::ReferencesErrorto suppress spurious errors) - rust-lang#135302 (for purely return-type based searches, deprioritize clone-like functions)
- rust-lang#135353 (re-add --disable-minification to rustdoc)
- rust-lang#135380 (Make sure we can produce
ConstArgHasWrongTypeerrors for valtree consts) - rust-lang#135423 (Enforce syntactical stability of const traits in HIR)
- rust-lang#135425 (Do not consider traits that have unsatisfied const conditions to be conditionally const)
- rust-lang#135499 (fix underlining of hovered intra-doc links.)
- rust-lang#135505 (Fix clippy lints in rustdoc)
r? @ghost
@rustbot modify labels: rollup
rust-timer added a commit to rust-lang-ci/rust that referenced this pull request
Rollup merge of rust-lang#135425 - compiler-errors:not-conditionally-const, r=RalfJung
Do not consider traits that have unsatisfied const conditions to be conditionally const
This will improve error messages as we continue to constify traits, since we don't want to start calling things "conditionally const" if they aren't implemented with a const impl anyways.
The only case that this affects today is Deref since that's one of the only constified traits in the standard library :)
r? RalfJung
Labels
Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Relevant to the compiler team, which will review and decide on the PR/issue.