Thanks to visit codestin.com
Credit goes to github.com

Skip to content

const_evaluatable_checked: extend predicate collection #77049

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.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Sep 24, 2020
Merged

const_evaluatable_checked: extend predicate collection #77049

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
e1f408e
const_evaluatable_checked: collect predicates from fn_sig
lcnr Sep 22, 2020
ac1d0d8
fmt, use IndexSet directly instead of UniquePredicates
lcnr Sep 22, 2020
f8d3f40
walk hir to get const evaluatable predicates
lcnr Sep 22, 2020
b8402d6
assign the correct `DefId` in `nominal_obligations`
lcnr Sep 22, 2020
3f9015b
visit impl self ty + trait
lcnr Sep 22, 2020
21edd10
update tests
lcnr Sep 22, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
update tests
  • Loading branch information
@lcnr
lcnr committed Sep 24, 2020
commit 21edd10dc5ae8cde041f84a38fd0c4a44a36965d
6 changes: 4 additions & 2 deletions src/test/ui/const-generics/const_evaluatable_checked/let-bindings.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,10 @@
error: constant expression depends on a generic parameter
error: overly complex generic constant
--> $DIR/let-bindings.rs:6:68
|
LL | fn test<const N: usize>() -> [u8; { let x = N; N + 1 }] where [u8; { let x = N; N + 1 }]: Default {
| ^^^^^^^^^^^^^^^^^^^^ required by this bound in `test`
| ^^^^^^-^^^^^^^^^^^^^
| |
| unsupported statement
|
= help: consider moving this anonymous constant into a `const` function

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/const-generics/issues/issue-76595.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ error: constant expression depends on a generic parameter
--> $DIR/issue-76595.rs:15:5
|
LL | fn test<T, const P: usize>() where Bool<{core::mem::size_of::<T>() > 4}>: True {
| ---- required by this bound in `test`
| ------------------------------- required by this bound in `test`
...
LL | test::<2>();
| ^^^^^^^^^
Expand Down