about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2025-02-04Rollup merge of #136520 - compiler-errors:redundant-layout-assert, r=lcnrMatthias Krüger-105/+2
2025-02-04Remove unnecessary layout assertions for object-safe receiversMichael Goulet-105/+2
2025-02-03Simplify recursive logicEsteban Küber-42/+49
2025-02-03In "specify type" suggestion, skip type params that are already knownEsteban Küber-12/+72
2025-02-03Make error message less awkwardMichael Goulet-1/+1
2025-02-03Check Sizedness of return type in WFMichael Goulet-61/+8
2025-02-02Rollup merge of #136414 - estebank:expected-return-type, r=oli-obkMatthias Krüger-3/+1
2025-02-02Rollup merge of #136415 - estebank:highlight-clarification, r=compiler-errorsMatthias Krüger-18/+28
2025-02-02Rollup merge of #136412 - estebank:fn-ptr-cast-suggestion, r=jieyouxuMatthias Krüger-13/+8
2025-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-571/+90
2025-02-02Rollup merge of #136279 - Zalathar:ensure-ok, r=oli-obkMatthias Krüger-6/+8
2025-02-02Highlight clarifying information in "expected/found" errorEsteban Küber-18/+28
2025-02-02Shorten error message for callable with wrong return typeEsteban Küber-3/+1
2025-02-02Tweak fn pointer suggestion spanEsteban Küber-13/+8
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-2/+19
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-6/+8
2025-02-01Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnrMatthias Krüger-542/+595
2025-01-31Rework "long type names" printing logicEsteban Küber-571/+90
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-6/+5
2025-01-31Ensure that we never try to monomorphize the upcasting of impossible dyn typesMichael Goulet-5/+21
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-62/+105
2025-01-31Move fulfillment error derivation into new moduleMichael Goulet-496/+506
2025-01-31Enforce unsafe binders must be Copy (for now)Michael Goulet-2/+19
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-6/+5
2025-01-31Auto merge of #136332 - jhpratt:rollup-aa69d0e, r=jhprattbors-24/+90
2025-01-31Rollup merge of #132156 - estebank:closure-return, r=Nadrieril,compiler-errorsJacob Pratt-24/+90
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-122/+64
2025-01-30review comment: change `span` argumentEsteban Küber-4/+9
2025-01-30Remove `unwrap()`sEsteban Küber-3/+6
2025-01-30Add closure labelsEsteban Küber-2/+2
2025-01-30On E0271 for a closure behind a binding, point at binding in call tooEsteban Küber-0/+4
2025-01-30When encountering unexpected closure return type, point at return type/expres...Esteban Küber-24/+78
2025-01-30More assertions, tests, and miri coverageMichael Goulet-34/+23
2025-01-30check the types in `ty::Value` to value conversionLukas Markeffsky-6/+4
2025-01-30introduce `ty::Value`Lukas Markeffsky-4/+4
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-21/+12
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-73/+59
2025-01-30Rework rustc_dump_vtableMichael Goulet-26/+2
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-70/+107
2025-01-29Rollup merge of #136205 - compiler-errors:len-3, r=BoxyUwUMatthias Krüger-1/+4
2025-01-29Rollup merge of #133382 - mu001999-contrib:diag/fnitem, r=lcnrMatthias Krüger-6/+42
2025-01-29Auto merge of #136225 - fmease:rollup-fm7m744, r=fmeasebors-24/+23
2025-01-29Rollup merge of #135943 - hkBst:opt_imports, r=estebankLeón Orell Valerian Liehr-2/+2
2025-01-29Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ...León Orell Valerian Liehr-22/+21
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-14/+10
2025-01-28Move param env bound deep normalization to OutlivesEnvironment buildingMichael Goulet-1/+21
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-22/+21
2025-01-28Move outlives env computation into methodsMichael Goulet-21/+50
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-62/+50
2025-01-28parse_format optimize import useMarijn Schouten-2/+2