about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-12-04Deduplicate some logicEsteban Küber-0/+72
2023-12-04Rollup merge of #118495 - weiznich:more_tests_for_on_unimplemented, r=compile...Takayuki Maeda-52/+95
2023-12-04Restrict what symbols can be used in `#[diagnostic::on_unimplemented]` format...Georg Semmler-52/+95
2023-12-03Auto merge of #118526 - sjwang05:issue-118510, r=petrochenkovbors-2/+9
2023-12-02Fix ICE when suggesting closures for non-fn-like defssjwang05-2/+9
2023-12-02Auto merge of #117754 - matthewjasper:subtype-overflow, r=lcnrbors-5/+30
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-34/+38
2023-12-01Handle recursion limit for subtype and well-formed predicatesMatthew Jasper-5/+30
2023-11-30Auto merge of #117805 - estebank:arg-fn-mismatch, r=petrochenkovbors-18/+173
2023-11-29review comments and rebase fixesEsteban Küber-65/+64
2023-11-29On Fn arg mismatch for a fn path, suggest a closureEsteban Küber-11/+167
2023-11-29new solver: improve instrument annotationslcnr-1/+4
2023-11-27Auto merge of #117200 - rmehri01:repeated_help, r=WaffleLapkinbors-1/+1
2023-11-27Auto merge of #118118 - spastorino:do-not-erase-late-bound-regions-on-iat, r=...bors-1/+12
2023-11-26don't add redundant help for object safety violationsRyan Mehri-1/+1
2023-11-26Rollup merge of #118302 - mu001999:dead_code/clean, r=cjgillotGuillaume Gomez-17/+0
2023-11-26Auto merge of #118267 - compiler-errors:ambiguity-causes, r=spastorinobors-67/+54
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-10/+10
2023-11-26Clean dead codesr0cky-17/+0
2023-11-25Rollup merge of #118290 - compiler-errors:placeholder-implied, r=aliemjayMichael Goulet-2/+4
2023-11-25Rollup merge of #118288 - compiler-errors:is_some_and, r=lqd,dtolnayMichael Goulet-6/+14
2023-11-25Rollup merge of #118201 - compiler-errors:obligation-causes, r=cjgillotMichael Goulet-20/+3
2023-11-25Rollup merge of #118158 - nnethercote:reduce-fluent-boilerplate, r=compiler-e...Michael Goulet-4/+1
2023-11-25Remove 3 more unused ObligationCauseCodesMichael Goulet-6/+0
2023-11-25Remove some lifetime-only ObligationCauseCode notesMichael Goulet-11/+3
2023-11-25Remove unused ObligationCauseCode::ProjectionWfMichael Goulet-3/+0
2023-11-26Use `rustc_fluent_macro::fluent_messages!` directly.Nicholas Nethercote-3/+1
2023-11-26Avoid need for `{D,Subd}iagnosticMessage` imports.Nicholas Nethercote-1/+0
2023-11-25Get rid of infer vars in inherent assoc types selection by using probeSantiago Pastorino-1/+12
2023-11-25Rollup merge of #118199 - compiler-errors:qpath, r=lcnrGuillaume Gomez-2/+1
2023-11-25Rollup merge of #117871 - klensy:unused-pub, r=cjgillotGuillaume Gomez-1/+1
2023-11-25is_{some,ok}_andMichael Goulet-6/+14
2023-11-25Remove HirId from QPath::LangItemMichael Goulet-2/+1
2023-11-25Don't ICE when encountering placeholders in implied bounds computationMichael Goulet-2/+4
2023-11-25Rollup merge of #118259 - spastorino:move-eager-resolver-to-infer, r=compiler...León Orell Valerian Liehr-80/+5
2023-11-25Auto merge of #118261 - spastorino:fix-placeholder-replacer, r=compiler-errorsbors-4/+18
2023-11-24AmbiguityCause should not eagerly format stringsMichael Goulet-67/+54
2023-11-24Make PlaceholderReplacer shallow_resolver when folding const and ty and recur...Santiago Pastorino-4/+18
2023-11-24Move EagerResolution to rustc_infer::infer::resolveSantiago Pastorino-80/+5
2023-11-24Rollup merge of #118243 - lcnr:commit-if-ok, r=compiler-errorsMichael Goulet-9/+9
2023-11-24Rollup merge of #118210 - lcnr:intercrate-ambiguity-causes-uwu, r=compiler-er...Michael Goulet-2/+4
2023-11-24EvalCtxt::commit_if_ok don't inherit nested goalslcnr-9/+9
2023-11-24Auto merge of #118189 - compiler-errors:cache-flags-for-const, r=nnethercotebors-7/+5
2023-11-23fix intercrate ambiguity causeslcnr-2/+4
2023-11-23reviewklensy-2/+1
2023-11-23few moreklensy-0/+1
2023-11-22Cache flags for ty::ConstMichael Goulet-7/+5
2023-11-22Auto merge of #118120 - compiler-errors:closure-kind, r=lcnrbors-51/+49
2023-11-22Auto merge of #118133 - Urgau:stabilize_trait_upcasting, r=WaffleLapkinbors-51/+0
2023-11-22Stabilize RFC3324 dyn upcasting coercionUrgau-51/+0