about summary refs log tree commit diff
path: root/src/test/ui/rfc-2632-const-trait-impl
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-3040/+0
2022-12-28Allow trait method paths to satisfy const Fn boundsDeadbeef-0/+61
2022-12-15fix tidy and add rpitit testDeadbeef-2/+23
2022-12-15Allow `impl ~const Trait` opaque typesDeadbeef-51/+36
2022-12-11Point at method call when it is the source of the bound errorEsteban Küber-24/+12
2022-12-04Add regression test for #79450Yuki Okushi-0/+32
2022-11-14Rollup merge of #104229 - compiler-errors:overlap-full-path, r=davidtwcoMatthias Krüger-1/+1
2022-11-12Rollup merge of #102049 - fee1-dead-contrib:derive_const, r=oli-obkDylan DPC-0/+61
2022-11-10Oops, bless this test.Ben Reeves-1/+1
2022-11-10Apply PR feedback.Ben Reeves-1/+1
2022-11-10Require `~const` qualifier on trait bounds in specializing impls if present i...Ben Reeves-8/+94
2022-11-10Add #[const_trait] where needed in tests.Ben Reeves-1/+10
2022-11-10Disallow specializing on const impls with non-const impls.Ben Reeves-76/+20
2022-11-10Allow specialized const trait impls.Ben Reeves-0/+242
2022-11-10Don't print full paths in overlap errorsMichael Goulet-1/+1
2022-10-28Retain ParamEnv constness when running deferred cast checksDeadbeef-0/+5
2022-10-27Rollup merge of #103525 - oli-obk:const_impl_on_non_const_trait, r=lcnrMatthias Krüger-12/+12
2022-10-26Auto merge of #103284 - compiler-errors:const-sad, r=oli-obkbors-3/+19
2022-10-25Move a wf-check into the site where the value is instantiatedOli Scherer-12/+12
2022-10-23Rollup merge of #103328 - compiler-errors:trivial-false-const-sugg, r=jackh726Matthias Krüger-33/+0
2022-10-21Require Drop impls to have the same constness on its bounds as the bounds on ...Oli Scherer-46/+115
2022-10-20Do not suggest trivially false const predicatesMichael Goulet-33/+0
2022-10-20Improve "`~const` is not allowed here" messageDeadbeef-5/+42
2022-10-20Bless testMichael Goulet-3/+19
2022-10-13Delay intrinsic call until after we've determined the callee is a functionMichael Goulet-0/+37
2022-10-04Merge the `~const` and `impl const` checks and add some explanatory notesOli Scherer-17/+10
2022-10-04Only allow ~const bounds for traits with #[const_trait]Oli Scherer-75/+178
2022-09-27Fix ICE in const_trait check codeDeadbeef-0/+34
2022-09-27rustc_typeck to rustc_hir_analysislcnr-1/+1
2022-09-26Rollup merge of #102273 - woppopo:relax_const_bound, r=fee1-deadMatthias Krüger-28/+40
2022-09-26Allow `~const` bounds on non-const functionswoppopo-28/+40
2022-09-24added testsDeadbeef-0/+84
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-91/+188
2022-09-21Make error messages great again (and fix clippy and add test)Deadbeef-0/+12
2022-09-20Add the `#[derive_const]` attributeDeadbeef-0/+61
2022-09-18make projection bounds with const bounds satisfy constDeadbeef-0/+14
2022-09-16do const trait method bounds check later in rustc_const_evalDeadbeef-63/+89
2022-09-16bless testsDeadbeef-28/+64
2022-09-16Add testDeadbeef-0/+23
2022-08-22Rollup merge of #100336 - fee1-dead-contrib:fix-wf-const-trait, r=oli-obkDylan DPC-0/+29
2022-08-22fix tidyDeadbeef-1/+3
2022-08-22Overhaul 100222 test; wf always remap to nonconstDeadbeef-4/+17
2022-08-22Fix wf check on `#[const_trait]` return typesDeadbeef-0/+14
2022-08-22Rollup merge of #99915 - WaffleLapkin:recover_keyword_bounds, r=compiler-errorsDylan DPC-3/+5
2022-08-21recover `const Tr` bounds (no `~`)Maybe Waffle-11/+6
2022-08-21Adjust messages, address some nitsMichael Goulet-4/+4
2022-08-21Account for relative pathsMichael Goulet-6/+6
2022-08-21Rework point-at-argMichael Goulet-16/+24
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-4/+4
2022-08-03Warn about dead tuple struct fieldsFabian Wolff-1/+1