about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-86/+77
2023-11-21Restore closure-kind error messagesMichael Goulet-1/+43
2023-11-21Remove ClosureKind predicate kindMichael Goulet-50/+6
2023-11-21Rollup merge of #118115 - spastorino:fix-old-fn-names, r=compiler-errorsNilstrieb-1/+1
2023-11-20Fix occurrences of old fn names in comment and tracingSantiago Pastorino-1/+1
2023-11-20Rollup merge of #118089 - lcnr:intercrate-ambig-msg, r=compiler-errorsMatthias Krüger-37/+84
2023-11-20Don't require intercrate mode for negative coherenceMichael Goulet-1/+7
2023-11-20Don't drop region constraints that come from plugging infer regions with plac...Michael Goulet-7/+7
2023-11-20handle reservation impls, track impl sourcelcnr-26/+68
2023-11-20self ty infer ambiguity: add proof tree candlcnr-11/+16
2023-11-19Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjayMichael Goulet-2/+11
2023-11-19Rollup merge of #117994 - compiler-errors:throw-away-regions-in-coherence, r=...Michael Goulet-9/+8
2023-11-19Ignore but do not assume region obligations from unifying headers in negative...Michael Goulet-9/+8
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-2/+11
2023-11-18Auto merge of #117742 - weiznich:turn_overlapping_diagnostic_options_into_war...bors-13/+97
2023-11-17Auto merge of #117944 - lcnr:region-refactor-uwu, r=BoxyUwUbors-9/+11
2023-11-17Auto merge of #112422 - aliemjay:implied-bounds-placeholders, r=lcnrbors-2/+6
2023-11-17Auto merge of #117278 - lcnr:try-normalize-ty, r=compiler-errorsbors-291/+287
2023-11-17rename bound region instantiationlcnr-9/+11
2023-11-17Add some additional warnings for duplicated diagnostic itemsGeorg Semmler-13/+97
2023-11-16ignore implied bounds with placeholdersAli MJ Al-Nasrawy-2/+6