summary refs log tree commit diff
path: root/tests/ui/const-generics/issues
AgeCommit message (Expand)AuthorLines
2025-03-01Rollup merge of #137617 - BoxyUwU:generic_const_parameter_types, r=lcnrMatthias Krüger-30/+0
2025-03-01Rollup merge of #136503 - estebank:const-panic, r=RalfJungMatthias Krüger-12/+6
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-30/+0
2025-02-28Shorten span of panic failures in const contextEsteban Küber-12/+6
2025-02-28normalizing where-clauses is also coinductive, add testslcnr-8/+68
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-3/+20
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-3/+4
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-20/+14
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-0/+31
2025-01-23Bless and add testsBoxy-9/+7
2025-01-18Revert "Rollup merge of #134371 - scottmcm:fix-134352, r=oli-obk"Rémy Rakic-23/+0
2025-01-06Add derived causes for host effect predicatesMichael Goulet-0/+18
2024-12-15Check for array lengths that aren't actually `usize`Scott McMurray-0/+23
2024-12-12Tweak multispan renderingEsteban Küber-3/+1
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-2/+2
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-2/+2
2024-12-04Add comment to testBoxy-1/+2
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-4/+21
2024-11-30Make compare_impl_item into a queryMichael Goulet-4/+4
2024-11-03Yeet effects featureMichael Goulet-4/+4
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-2/+2
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-8/+0
2024-10-24Implement const effect predicate in new solverMichael Goulet-18/+0
2024-10-01Auto merge of #126839 - obeis:mpmc, r=Amanieubors-1/+1
2024-09-30Add multi-producer, multi-consumer channel (mpmc)Obei Sideg-1/+1
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-40/+23
2024-09-24Ban combination of GCE and new solverMichael Goulet-1/+9
2024-09-15stabilize const_mut_refsRalf Jung-4/+3
2024-08-03Revert "Rollup merge of #127107 - mu001999-contrib:dead/enhance-2, r=pnkfelix"Michael Goulet-2/+0
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-20/+36
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-20/+36
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-14/+20
2024-07-11Avoid follow-up errors and ICEs after missing lifetime errors on data structuresOli Scherer-32/+7
2024-07-09Automatically taint when reporting errors from ItemCtxtOli Scherer-29/+3
2024-07-05Rollup merge of #127107 - mu001999-contrib:dead/enhance-2, r=pnkfelixMichael Goulet-0/+2
2024-07-04Improve dead code analysismu001999-0/+2
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-3/+29
2024-06-30Migrate tests to use `-Znext-solver`Deadbeef-2/+29
2024-06-28bless tests part 1Deadbeef-1/+1
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-3/+29
2024-06-13Tweak output of import suggestionsEsteban Küber-1/+1
2024-06-05Bless tests and handle tests/crashesBoxy-7/+32
2024-06-04Rollup merge of #125667 - oli-obk:taintify, r=TaKO8KiMichael Goulet-4/+31
2024-05-29Partially implement `ConstArgHasType`Boxy-15/+4
2024-05-28Allow type_of to return partially non-error types if the type was already tai...Oli Scherer-4/+31
2024-05-27remove fixed crashes, add fixed crashes to tests, add new cashed found in the...Matthias Krüger-1/+1
2024-05-24Use regular type equating instead of a custom queryOli Scherer-1/+15
2024-03-27Use `TraitRef::to_string` sorting in favor of `TraitRef::ord`, as the latter ...Oli Scherer-6/+6
2024-03-21Provide structured suggestion for unconstrained generic constantEsteban Küber-43/+86
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-23/+92