about summary refs log tree commit diff
path: root/src/test/ui/const-generics/issues
AgeCommit message (Collapse)AuthorLines
2020-08-26Fixed file formatting and made `tidy` happyAmjad Alsharafi-1/+2
2020-08-26Added more min_const_generics revisions to testsAmjad Alsharafi-157/+224
2020-08-26Added a lot of min_const_generics revisionsAmjad Alsharafi-69/+202
2020-08-18change const param ty warning messageBastian Kauschke-10/+10
2020-08-18run wfcheck in parralel again, add test for 74950Bastian Kauschke-11/+73
2020-08-18move const param structural match checks to wfcheckBastian Kauschke-0/+15
2020-08-08Auto merge of #74877 - lcnr:min_const_generics, r=oli-obkbors-47/+136
Implement the `min_const_generics` feature gate Implements both https://github.com/rust-lang/lang-team/issues/37 and https://github.com/rust-lang/compiler-team/issues/332. Adds the new feature gate `#![feature(min_const_generics)]`. This feature gate adds the following limitations to using const generics: - generic parameters must only be used in types if they are trivial. (either `N` or `{ N }`) - generic parameters must be either integers, `bool` or `char`. We do allow arbitrary expressions in associated consts though, meaning that the following is allowed, even if `<[u8; 0] as Foo>::ASSOC` is not const evaluatable. ```rust trait Foo { const ASSOC: usize; } impl<const N: usize> Foo for [u8; N] { const ASSOC: usize = 64 / N; } ``` r? @varkor cc @eddyb @withoutboats
2020-08-07test min_const_generics using revisionsBastian Kauschke-45/+134
2020-08-05Auto merge of #75166 - JulianKnodt:i64494, r=lcnrbors-0/+37
Add regression test for #64494 Add regression test to indicate if this compilation ever succeeds. Fixes #64494 r? @lcnr
2020-08-05impl reviewBastian Kauschke-2/+2
2020-08-04Add regression testkadmin-0/+37
2020-08-04Add regression testkadmin-0/+74
As well as matching error outputs
2020-07-26Add test for issue-56445Yuki Okushi-0/+32
2020-07-17add test for #62878Bastian Kauschke-0/+48
2020-07-16Rollup merge of #74392 - lcnr:const-generics-update, r=varkorManish Goregaokar-0/+81
const generics triage I went through all const generics issues and closed all issues which are already fixed. Some issues already have a regression test but were not closed. Also doing this as part of this PR. uff r? @eddyb @varkor closes #61936 closes #62878 closes #63695 closes #67144 closes #68596 closes #69816 closes #70217 closes #70507 closes #70586 closes #71348 closes #71805 closes #73120 closes #73508 closes #73730 closes #74255
2020-07-16add regression test for #74255Bastian Kauschke-0/+18
2020-07-16add regression test for #73508Bastian Kauschke-0/+23
2020-07-16add regression test for #73491Bastian Kauschke-0/+9
2020-07-16add regression test for #73120Bastian Kauschke-0/+22
2020-07-16add regression test for #71169Bastian Kauschke-0/+27
2020-07-16add regression test for #68596Bastian Kauschke-0/+18
2020-07-16bless ui testsBastian Kauschke-0/+2
2020-07-16update help messageBastian Kauschke-3/+3
2020-07-16don't supply generics to AnonConsts in param listsBastian Kauschke-0/+9
2020-07-16forbid generic params in the type of const paramsBastian Kauschke-3/+24
2020-06-28Add test for issue-72352Yuki Okushi-0/+29
2020-06-28Add test for issue-71611Yuki Okushi-0/+17
2020-06-28Add test for issue-71382Yuki Okushi-0/+32
2020-06-27Add test for issue-71381Yuki Okushi-0/+47
2020-06-08fixup! Add regression test for const generic ICE in #72819Ayaz Hafiz-1/+1
2020-06-08fixup! Add regression test for const generic ICE in #72819Ayaz Hafiz-0/+3
2020-06-06fixup! Add regression test for const generic ICE in #72819Ayaz Hafiz-1/+2
2020-06-06Add regression test for const generic ICE in #72819Ayaz Hafiz-0/+26
Closes #72819
2020-06-02update testsBastian Kauschke-4/+11
2020-06-02add WellFormedConst predicateBastian Kauschke-9/+94
2020-05-17update testsBastian Kauschke-14/+10
2020-05-17the best way to fix bugs is by ignoring themBastian Kauschke-32/+0
2020-05-17merge lazy_normalization_consts into const_genericsBastian Kauschke-77/+36
2020-05-17update tests and add relevant feature gate testBastian Kauschke-30/+38
2020-05-17Put lazy normalization behind a feature gateBen Lewis-36/+132
2020-05-17Add lazy normalization testsBen Lewis-3/+159
2020-05-16Rollup merge of #72045 - RalfJung:incomplete-unsound, r=petrochenkovRalf Jung-34/+51
Incomplete features can also be unsound Some incomplete features do not just ICE, they are also currently unsound (e.g. https://github.com/rust-lang/rust/pull/72029, and also `specialization` -- which is not yet marked incomplete but [should be](https://github.com/rust-lang/rust/pull/71420)). This makes the message reflect that. While at it I also added a link to the tracking issue, which hopefully should explain what is incomplete/unsound about the feature.
2020-05-09display `ConstKind::Param`Bastian Kauschke-1/+1
2020-05-09adjust testsRalf Jung-34/+51
2020-05-04Rollup merge of #71038 - lcnr:dyn_trait_structural_match, r=pnkfelixDylan DPC-0/+32
forbid `dyn Trait` in patterns Do not allow `&dyn Trait` as a generic const parameters. This also changes dyn trait in pattern from ICE to error. closes #63322 closes #70972 r? @eddyb
2020-04-30handle ByRef in relateBastian Kauschke-0/+22
2020-04-29emit err when using trait objects in patBastian Kauschke-1/+1
2020-04-29forbid `dyn Trait` in const genericsBastian Kauschke-0/+32
2020-04-29Rollup merge of #71286 - Alexendoo:test-issue-69654, r=Dylan-DPCDylan DPC-0/+32
Add regression test for #69654 closes #69654 r? @eddyb
2020-04-23Moving more build-pass tests to check-passVal Markovic-1/+1
One or two tests became build-pass without the FIXME because they really needed build-pass (were failing without it). Helps with #62277