summary refs log tree commit diff
path: root/tests/ui/traits/next-solver
AgeCommit message (Expand)AuthorLines
2024-11-13actually test next solverlcnr-1/+15
2024-11-03Yeet effects featureMichael Goulet-12/+0
2024-11-02fix testsEsteban Küber-1/+1
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-9/+9
2024-10-24Deeply normalize type trace in type error reportingMichael Goulet-0/+34
2024-10-21don't bail when encountering many placeholderslcnr-14/+19
2024-10-21normalizes-to disable infer var checklcnr-7/+56
2024-10-19Rollup merge of #131795 - compiler-errors:expectation, r=NadrierilMatthias Krüger-13/+6
2024-10-16Auto merge of #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgrbors-0/+40
2024-10-16Stop inverting expectation in normalization errorsMichael Goulet-13/+6
2024-10-15Structurally resolve in may_coerceMichael Goulet-0/+40
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-15/+1
2024-10-15Be better at reporting alias errorsMichael Goulet-136/+20
2024-10-15Make sure the alias is actually rigidMichael Goulet-20/+148
2024-10-15stabilize `-Znext-solver=coherence`lcnr-8/+18
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-5/+5
2024-10-10Structurallyresolve adts and tuples expectations tooMichael Goulet-0/+32
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-10-02Auto merge of #130821 - lcnr:nalgebra-hang-2, r=compiler-errorsbors-0/+97
2024-10-01add testslcnr-0/+97
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-2/+2
2024-09-27Cleanup some known-bug issuesJack Huey-3/+8
2024-09-20update testslcnr-1/+14
2024-09-12more eagerly discard constraints on overflowlcnr-0/+2
2024-09-09compiler: Inform the solver of concurrencyJubilee Young-0/+51
2024-08-13Use the right type when coercing fn items to pointersMichael Goulet-1/+8
2024-07-12rustc_type_ir: derivative -> derive-wherePavel Grigorenko-4/+4
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-4/+0
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-0/+23
2024-07-02Actually report normalization-based type errors correctly for alias-relate ob...Michael Goulet-4/+19
2024-06-27Tighten spans for async blocksMichael Goulet-1/+1
2024-06-22Make `effects` an incomplete featureDeadbeef-1/+12
2024-06-19rustc_type_ir: Omit some struct fields from Debug outputLeón Orell Valerian Liehr-4/+4
2024-06-16Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelixJacob Pratt-2/+2
2024-06-13Check that alias-relate terms are WF if reporting an error in alias-relateMichael Goulet-113/+7
2024-06-12Rollup merge of #126142 - compiler-errors:trait-ref-split, r=jackh726Jubilee-1/+11
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet-1/+11
2024-06-12Also passthrough for projection clausesMichael Goulet-14/+9
2024-06-12better error message for normalizes-to ambiguitiesMichael Goulet-4/+4
2024-06-12Walk into alias-eq nested goals even if normalization failsMichael Goulet-6/+49
2024-06-12Spell out other trait diagnosticAlex Macleod-2/+2
2024-06-11Remove DebugWithInfcxMichael Goulet-4/+4
2024-06-05bivariant alias: set `has_unconstrained_ty_var`lcnr-0/+20
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-4/+4
2024-05-31Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnrMatthias Krüger-22/+8
2024-05-30Fold item bound before checking that they holdMichael Goulet-22/+8
2024-05-30update UI testslcnr-4/+4
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-4/+4
2024-05-28eagerly normalize when adding goalslcnr-2/+106
2024-05-28change selection test to run-passlcnr-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 12:27:10 +0000