Skip to content
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 and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

emit errors during AbstractConst building #76939

Merged
merged 5 commits into from
Sep 24, 2020

Conversation

lcnr
Copy link
Contributor

@lcnr lcnr commented Sep 19, 2020

There changes are currently still untested, so I don't expect this to pass CI 馃槅

It seems to me like this is the direction we want to go in, though we didn't have too much of a discussion about this.

r? @oli-obk

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Sep 19, 2020
@lcnr lcnr added the F-generic_const_exprs `#![feature(generic_const_exprs)]` label Sep 19, 2020
@oli-obk
Copy link
Contributor

oli-obk commented Sep 20, 2020

It seems to me like this is the direction we want to go in, though we didn't have too much of a discussion about this.

Yea, without emitting errors on failing to build an abstract const we'd just be pushing function author problems onto function users. This PR makes sense though we really need to build good diagnostics here, as this will be a big pain point. Ideally we could suggest a function to call instead if there's one with a matching body, but that's gonna be horrible to figure out.

@lcnr lcnr changed the title [WIP] emit errors during AbstractConst building emit errors during AbstractConst building Sep 21, 2020
@lcnr
Copy link
Contributor Author

lcnr commented Sep 21, 2020

While the error messages are still quite bad, this seems like a good first step to me and we can improve them as we go.

Marking as ready for review

@lcnr lcnr marked this pull request as ready for review September 21, 2020 20:56
@oli-obk
Copy link
Contributor

oli-obk commented Sep 21, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Sep 21, 2020

馃搶 Commit 2f893e4 has been approved by oli-obk

@bors bors added S-waiting-on-bors 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 Sep 21, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Sep 22, 2020
emit errors during AbstractConst building

There changes are currently still untested, so I don't expect this to pass CI 馃槅

It seems to me like this is the direction we want to go in, though we didn't have too much of a discussion about this.

r? @oli-obk
ecstatic-morse added a commit to ecstatic-morse/rust that referenced this pull request Sep 22, 2020
emit errors during AbstractConst building

There changes are currently still untested, so I don't expect this to pass CI 馃槅

It seems to me like this is the direction we want to go in, though we didn't have too much of a discussion about this.

r? @oli-obk
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 23, 2020
Rollup of 9 pull requests

Successful merges:

 - rust-lang#76898 (Record `tcx.def_span` instead of `item.span` in crate metadata)
 - rust-lang#76939 (emit errors during AbstractConst building)
 - rust-lang#76965 (Add cfg(target_has_atomic_equal_alignment) and use it for Atomic::from_mut.)
 - rust-lang#76993 (Changing the alloc() to accept &self instead of &mut self)
 - rust-lang#76994 (fix small typo in docs and comments)
 - rust-lang#77017 (Add missing examples on Vec iter types)
 - rust-lang#77042 (Improve documentation for ToSocketAddrs)
 - rust-lang#77047 (Miri: more informative deallocation error messages)
 - rust-lang#77055 (Add #[track_caller] to more panicking Cell functions)

Failed merges:

r? `@ghost`
@bors bors merged commit 98e5ee7 into rust-lang:master Sep 24, 2020
@rustbot rustbot added this to the 1.48.0 milestone Sep 24, 2020
@lcnr lcnr deleted the const-evaluatable-cont branch September 24, 2020 06:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
F-generic_const_exprs `#![feature(generic_const_exprs)]` S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants