Skip to content

Allow const parameters in array sizes to be unified #60742

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 17 commits into from
May 29, 2019
Merged

Allow const parameters in array sizes to be unified #60742

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
73f7e42
Relate identical parameters in array lengths
varkor May 11, 2019
5a585fe
Add a test for a function taking a const param array as an argument
varkor May 11, 2019
4ad5c62
Resolve consts in OpportunisticTypeResolver
varkor May 11, 2019
55dcc20
Add tests for uninferred consts during codegen
varkor May 11, 2019
c94ba63
Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`
varkor May 11, 2019
908d97d
Update test output
varkor May 12, 2019
d5c6cb8
Eagerly evaluate in `super_relate_consts`
varkor May 13, 2019
193b748
Remove FixedArraySize error
varkor May 13, 2019
57ff589
Add broken MIR regression tests
varkor May 20, 2019
cfa1f80
Fix test after rebase
varkor May 21, 2019
f865b7d
Update tests after pretty printing
varkor May 25, 2019
f13317c
Use Display rather than Debug printing for const mismatch
varkor May 25, 2019
8549953
Reintroduce `TypeError::FixedArraySize`
varkor May 27, 2019
56181cf
Correct pluralisation of tuple/array/associated type binding mismatch…
varkor May 27, 2019
b3a13fd
Make sure array length diagnostic doesn't regress
varkor May 27, 2019
2949160
Fix nits
varkor May 28, 2019
6233d1f
Use assert_eq! instead of println! in tests
varkor May 28, 2019
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
Update tests after pretty printing
  • Loading branch information
@varkor
varkor committed May 28, 2019
commit f865b7dda43cd8e453ec1ce485d9155e5591248f
2 changes: 1 addition & 1 deletion src/test/ui/const-generics/broken-mir-2.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,6 @@
use std::fmt::Debug;

#[derive(Debug)]
struct S<T: Debug, const N: usize>([T; N]); //~ ERROR `[T; N]` doesn't implement `std::fmt::Debug`
struct S<T: Debug, const N: usize>([T; N]); //~ ERROR `[T; _]` doesn't implement `std::fmt::Debug`

fn main() {}
8 changes: 4 additions & 4 deletions src/test/ui/const-generics/broken-mir-2.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,14 +4,14 @@ warning: the feature `const_generics` is incomplete and may cause the compiler t
LL | #![feature(const_generics)]
| ^^^^^^^^^^^^^^

error[E0277]: `[T; N]` doesn't implement `std::fmt::Debug`
error[E0277]: `[T; _]` doesn't implement `std::fmt::Debug`
--> $DIR/broken-mir-2.rs:7:36
|
LL | struct S<T: Debug, const N: usize>([T; N]);
| ^^^^^^ `[T; N]` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug`
| ^^^^^^ `[T; _]` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug`
|
= help: the trait `std::fmt::Debug` is not implemented for `[T; N]`
= note: required because of the requirements on the impl of `std::fmt::Debug` for `&[T; N]`
= help: the trait `std::fmt::Debug` is not implemented for `[T; _]`
= note: required because of the requirements on the impl of `std::fmt::Debug` for `&[T; _]`
= note: required for the cast to the object type `dyn std::fmt::Debug`

error: aborting due to previous error
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/const-generics/cannot-infer-type-for-const-param.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ error[E0308]: mismatched types
--> $DIR/cannot-infer-type-for-const-param.rs:10:22
|
LL | let _ = Foo::<3>([1, 2, 3]);
| ^^^^^^^^^ expected `Const { ty: usize, val: Unevaluated(DefId(0:18 ~ cannot_infer_type_for_const_param[317d]::main[0]::{{constant}}[0]), []) }`, found `Const { ty: usize, val: Scalar(Bits { size: 8, bits: 3 }) }`
| ^^^^^^^^^ expected `Const { ty: usize, val: Unevaluated(DefId(0:18 ~ cannot_infer_type_for_const_param[317d]::main[0]::{{constant}}[0]), []) }`, found `Const { ty: usize, val: Scalar(0x0000000000000003) }`
|
= note: expected type `[u8; _]`
found type `[u8; 3]`
Expand Down
4 changes: 2 additions & 2 deletions src/test/ui/consts/const-array-oob-arith.stderr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ error[E0308]: mismatched types
--> $DIR/const-array-oob-arith.rs:7:45
|
LL | const BLUB: [i32; (ARR[0] - 40) as usize] = [5];
| ^^^ expected `Const { ty: usize, val: Scalar(Bits { size: 8, bits: 2 }) }`, found `Const { ty: usize, val: Scalar(Bits { size: 8, bits: 1 }) }`
| ^^^ expected `Const { ty: usize, val: Scalar(0x0000000000000002) }`, found `Const { ty: usize, val: Scalar(0x0000000000000001) }`
|
= note: expected type `[i32; 2]`
found type `[i32; 1]`
Expand All @@ -11,7 +11,7 @@ error[E0308]: mismatched types
--> $DIR/const-array-oob-arith.rs:8:44
|
LL | const BOO: [i32; (ARR[0] - 41) as usize] = [5, 99];
| ^^^^^^^ expected `Const { ty: usize, val: Scalar(Bits { size: 8, bits: 1 }) }`, found `Const { ty: usize, val: Scalar(Bits { size: 8, bits: 2 }) }`
| ^^^^^^^ expected `Const { ty: usize, val: Scalar(0x0000000000000001) }`, found `Const { ty: usize, val: Scalar(0x0000000000000002) }`
|
= note: expected type `[i32; 1]`
found type `[i32; 2]`
Expand Down