about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-104/+87
2024-02-27Don't emit higher-ranked Future obligations when confirm async Fn goalsMichael Goulet-6/+16
2024-02-27safe transmute: revise safety analysisJack Wrenn-14/+7
2024-02-26Rollup merge of #121617 - compiler-errors:async-closure-kind-check, r=oli-obkMatthias Krüger-2/+3
2024-02-26Actually use the right closure kind when checking async Fn goalsMichael Goulet-2/+3
2024-02-25Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillotMatthias Krüger-4/+19
2024-02-24Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgrbors-16/+19
2024-02-23compiler: clippy::complexity fixesMatthias Krüger-17/+14
2024-02-23delay cloning of iterator itemsMatthias Krüger-16/+19
2024-02-23Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnrMatthias Krüger-3/+1
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-3/+1
2024-02-22Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errorsbors-69/+90
2024-02-22change error messages to be incorrect, but more helpfullcnr-1/+1
2024-02-22Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnrMatthias Krüger-2/+4
2024-02-22do not use <: in subtyping overflow msglcnr-7/+20
2024-02-22overflow errors: change source to a concrete enumlcnr-46/+71
2024-02-22freshen: resolve root varslcnr-23/+2
2024-02-22remove `sub_relations` from infcx, recompute in diagnosticslcnr-0/+4
2024-02-22Preserve the `Span` from `prove_predicate` all the way to registering opaque ...Oli Scherer-2/+4
2024-02-22Replace unnecessary `abort_if_errors`.Nicholas Nethercote-9/+2
2024-02-21Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errorsDylan DPC-0/+12
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-20/+16
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-10/+10
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-15/+11
2024-02-20Suggest using --verbose when writing type to a fileFernando Fernandez Mancera-0/+12
2024-02-20Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obkMatthias Krüger-21/+17
2024-02-20Introduce expand_weak_alias_tysLeón Orell Valerian Liehr-11/+9
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-10/+8
2024-02-20Add newtype for first input typeclubby789-4/+19
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-81/+98
2024-02-20Rollup merge of #121307 - estebank:drive-by, r=compiler-errorsNilstrieb-3/+2
2024-02-19Drive-by `DUMMY_SP` -> `Span` and fmt changesEsteban Küber-3/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-81/+98
2024-02-19remove outdated commentlcnr-1/+1
2024-02-19split `project` into multiple fileslcnr-770/+785
2024-02-19remove `pred_known_to_hold_modulo_regions`lcnr-47/+3
2024-02-19never normalize without eager inference replacementlcnr-82/+11
2024-02-18Rollup merge of #121100 - estebank:issue-71252, r=compiler-errorsLeón Orell Valerian Liehr-1/+19
2024-02-17Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnrMatthias Krüger-34/+36
2024-02-17Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercoteMatthias Krüger-2/+5
2024-02-17Rollup merge of #121059 - compiler-errors:extension, r=davidtwco,NilstriebGuillaume Boisseau-728/+58
2024-02-16Use fulfillment in next trait solver coherenceMichael Goulet-34/+36
2024-02-16Rollup merge of #121111 - trevyn:associated-type-suggestion, r=davidtwcoGuillaume Gomez-0/+9
2024-02-16NitsMichael Goulet-0/+6
2024-02-16Move trait into attr so it's greppableMichael Goulet-26/+26
2024-02-16Use extension trait deriveMichael Goulet-727/+51
2024-02-16Detect when method call on argument could be removed to fulfill failed trait ...Esteban Küber-1/+19
2024-02-16Rollup merge of #121119 - compiler-errors:async-fn-kind-errs, r=oli-obkGuillaume Gomez-25/+98
2024-02-15make better async fn kind errorsMichael Goulet-25/+98
2024-02-15Consider principal trait ref's auto-trait super-traits in dyn upcastingMichael Goulet-44/+64