Skip to content

forbid generic params in the type of const params #74159

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 8 commits into from
Jul 16, 2020
Merged

forbid generic params in the type of const params #74159

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
338a271
forbid generic params in the type of const params
lcnr Jul 8, 2020
14a1031
add self dependent const param test
lcnr Jul 8, 2020
3f55840
relax Node lt bounds
lcnr Jul 9, 2020
6f5d8bf
don't supply generics to AnonConsts in param lists
lcnr Jul 9, 2020
0c511ab
update help message
lcnr Jul 16, 2020
01f5dd3
bless ui tests
lcnr Jul 16, 2020
f52039d
add regression test for #71169
lcnr Jul 16, 2020
09ba0bd
add regression test for #73491
lcnr Jul 16, 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
Next Next commit
bless ui tests
  • Loading branch information
@lcnr
lcnr committed Jul 16, 2020
commit 01f5dd374cb1762d722ed3537779377a74774cf1
1 change: 1 addition & 0 deletions src/test/ui/const-generics/const-param-type-depends-on-const-param.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,3 +21,4 @@ LL | #![feature(const_generics)]

error: aborting due to 2 previous errors; 1 warning emitted

For more information about this error, try `rustc --explain E0770`.
3 changes: 2 additions & 1 deletion src/test/ui/const-generics/const-param-type-depends-on-type-param-ungated.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,5 @@ LL | struct B<T, const N: T>(PhantomData<[T; N]>);

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0658`.
Some errors have detailed explanations: E0658, E0770.
For more information about an error, try `rustc --explain E0658`.
3 changes: 2 additions & 1 deletion src/test/ui/const-generics/const-param-type-depends-on-type-param.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,5 @@ LL | pub struct Dependent<T, const X: T>([(); X]);

error: aborting due to 2 previous errors; 1 warning emitted

For more information about this error, try `rustc --explain E0392`.
Some errors have detailed explanations: E0392, E0770.
For more information about an error, try `rustc --explain E0392`.
1 change: 1 addition & 0 deletions src/test/ui/const-generics/issues/issue-71381.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,3 +24,4 @@ LL | const FN: unsafe extern "C" fn(Args),

error: aborting due to 4 previous errors

For more information about this error, try `rustc --explain E0770`.
1 change: 1 addition & 0 deletions src/test/ui/const-generics/issues/issue-71611.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,3 +12,4 @@ LL | fn func<A, const F: fn(inner: A)>(outer: A) {

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0770`.