about summary refs log tree commit diff
path: root/tests/ui/traits/new-solver
AgeCommit message (Expand)AuthorLines
2023-12-14Unconditionally register alias-relate in projection goalMichael Goulet-43/+0
2023-12-14consistently use "next solver" instead of "new solver"lcnr-3834/+0
2023-12-14update use of feature flagslcnr-119/+119
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-20/+27
2023-12-09add test for inductive cycle hangslcnr-4/+57
2023-12-08add regression testslcnr-0/+43
2023-12-08implement and use `NormalizesTo`lcnr-11/+14
2023-12-04rebaselcnr-2/+2
2023-12-04cleanup and commentslcnr-0/+46
2023-12-04generalize: handle occurs check failure in aliaseslcnr-10/+4
2023-11-24Show number in error message even for one errorNilstrieb-27/+27
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-9/+1
2023-11-20self ty infer ambiguity: add proof tree candlcnr-3/+0
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-5/+32
2023-11-09update overflow handling for norm, add testlcnr-0/+22
2023-11-09update testslcnr-5/+10
2023-11-08Only use normalize_param_env when normalizing predicate in check_item_boundsMichael Goulet-6/+20
2023-11-03Auto merge of #116439 - compiler-errors:on-unimplemented, r=davidtwcobors-10/+10
2023-11-02Pretty print Fn traits in rustc_on_unimplementedMichael Goulet-10/+10
2023-11-02Use the normalizing param-env always in check_type_boundsMichael Goulet-20/+6
2023-10-27Allows `#[diagnostic::on_unimplemented]` attributes to have multipleGeorg Semmler-0/+2
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-3/+10
2023-10-20Rename lots of files that had `generator` in their nameOli Scherer-10/+10
2023-10-20s/generator/coroutine/Oli Scherer-20/+20
2023-10-20s/Generator/Coroutine/Oli Scherer-12/+12
2023-10-18Tweak wording of type errors involving type paramsEsteban Küber-1/+1
2023-10-15Suggest adding `return` if the type of unused semi return value can coerce to...yukang-6/+6
2023-10-13Stabilize AFIT and RPITITMichael Goulet-4/+0
2023-10-11Rollup merge of #116436 - compiler-errors:structurally-normalize-for-closure,...Matthias Krüger-0/+23
2023-10-09Extend impl's def_span to include where clausesMichael Goulet-5/+9
2023-10-05Also closuresMichael Goulet-0/+12
2023-10-05Structurally normalize async fn return type in deduce_future_output_from_obli...Michael Goulet-0/+11
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-57/+52
2023-09-29Auto merge of #115843 - lcnr:bb-provisional-cache, r=compiler-errorsbors-2/+78
2023-09-23Bless tests.Camille GILLOT-1/+1
2023-09-21adjust how closure/generator types and rvalues are printedRalf Jung-5/+5
2023-09-21update testslcnr-0/+8
2023-09-18remove provisional cachelcnr-2/+78
2023-09-15Canonicalize effect vars in new solverMichael Goulet-0/+22
2023-09-10Point out if a local trait has no implementationsMichael Goulet-0/+5
2023-09-03Don't ICE on associated type projection without feature gateMichael Goulet-0/+40
2023-08-29add non-regression test for issue 115351Rémy Rakic-0/+39
2023-08-28Revert "Suggest using `Arc` on `!Send`/`!Sync` types"David Tolnay-1/+0
2023-08-26More accurately point at argumentsEsteban Küber-2/+2
2023-08-26Point at appropriate type parameter in more trait bound errorsEsteban Küber-26/+24
2023-08-18change to known buglcnr-2/+2
2023-08-18instantiate response: no unnecessary new universelcnr-0/+157
2023-08-12normalize in `trait_ref_is_knowable` in new solverlcnr-0/+103
2023-08-10add and move trait solver cycle testslcnr-1/+215
2023-08-10make the provisional cache slightly less brokenlcnr-15/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 20:46:46 +0000