summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2023-05-25Strongly prefer alias and param-env boundsMichael Goulet-20/+6
2023-05-23Auto merge of #110204 - compiler-errors:new-solver-hir-typeck-hacks, r=lcnrbors-0/+38
2023-05-22Structurally normalize in the new solverMichael Goulet-0/+38
2023-05-22Auto merge of #111848 - Dylan-DPC:rollup-7jqydzg, r=Dylan-DPCbors-3/+3
2023-05-21Rename `drop_ref` lint to `dropping_references`Urgau-1/+1
2023-05-21Rename `drop_copy` lint to `dropping_copy_types`Urgau-2/+2
2023-05-19add testlcnr-1/+75
2023-05-19Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726bors-2/+15
2023-05-17Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-deadDylan DPC-11/+2
2023-05-17Emits E0599 when meeting MyTrait::missing_methodmu001999-11/+2
2023-05-15Tweaks and a testMichael Goulet-0/+45
2023-05-13Rollup merge of #111451 - compiler-errors:note-cast-origin, r=b-naberDylan DPC-16/+11
2023-05-12do not allow inference in `pred_known_to_hold_modulo_regions`Michael Goulet-2/+15
2023-05-12Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwcobors-3/+9
2023-05-12Note base types of coercionMichael Goulet-16/+11
2023-05-10Adjust tests for new drop and forget lintsUrgau-3/+9
2023-05-09Make alias bounds sound in the new solverMichael Goulet-0/+71
2023-05-08Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi-0/+19
2023-05-04Add test for #110557Michael Goulet-0/+60
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-0/+19
2023-05-03Rollup merge of #111146 - petrochenkov:decident, r=compiler-errorsManish Goregaokar-3/+6
2023-05-03rustc_middle: Fix `opt_item_ident` for non-local def idsVadim Petrochenkov-3/+6
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-14/+2
2023-05-02Disallow associated type constraints on negative boundsMichael Goulet-0/+54
2023-05-02Implement negative boundsMichael Goulet-0/+124
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-1/+16
2023-05-01Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger-2/+2
2023-04-27Tweak await spanMichael Goulet-2/+2
2023-04-26Clear response values for overflow in new solverMichael Goulet-0/+43
2023-04-25Auto merge of #110811 - compiler-errors:vars-are-question-mark, r=WaffleLapkinbors-4/+4
2023-04-25vars are ?Michael Goulet-4/+4
2023-04-25Negative coherence testMichael Goulet-0/+52
2023-04-22Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjaybors-0/+23
2023-04-21Clone region var origins instead of taking in borrowckMichael Goulet-0/+23
2023-04-20Move test filesCaio-0/+17
2023-04-14Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errorsMatthias Krüger-0/+12
2023-04-14Add test for uniquifying regionsMichael Goulet-0/+12
2023-04-13Rollup merge of #110195 - compiler-errors:issue-110052, r=aliemjayMatthias Krüger-1/+6
2023-04-13Auto merge of #109786 - estebank:tweak-add-line-sugg, r=compiler-errorsbors-7/+9
2023-04-12Special-case item attributes in the suggestion outputEsteban Küber-5/+0
2023-04-12Tweak output for 'add line' suggestionEsteban Küber-7/+14
2023-04-12Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnrMatthias Krüger-8/+8
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-0/+34
2023-04-11Broken testsMichael Goulet-0/+43
2023-04-11Split implied and super predicate queriesMichael Goulet-7/+2
2023-04-11Erase lifetimes above ty::INNERMOST when probing ambiguous typesMichael Goulet-1/+6
2023-04-10Report overflows gracefully with new solverMichael Goulet-8/+8
2023-04-10Stall auto-trait assembly for int/float vars in new solverMichael Goulet-0/+50
2023-04-10prioritize param-env candidateslcnr-7/+53
2023-04-09Rollup merge of #108843 - compiler-errors:non_lifetime_binders-method-probe, ...Matthias Krüger-0/+27
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-07 20:59:26 +0000