about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-83/+86
2024-02-12Auto merge of #120980 - matthiaskrgr:rollup-dsjsqql, r=matthiaskrgrbors-8/+6
2024-02-12Rollup merge of #120917 - chenyukang:yukang-dead-parameters, r=compiler-errorsMatthias Krüger-6/+0
2024-02-12Rollup merge of #120899 - compiler-errors:non-wf-alias, r=lcnrMatthias Krüger-2/+6
2024-02-12Dejargnonize substShoyu Vanilla-83/+86
2024-02-12Improve some codes according to the reviewsFrank King-5/+0
2024-02-12Check representation of unnamed fieldsFrank King-5/+3
2024-02-12Lowering field access for anonymous adtsFrank King-3/+3
2024-02-12Lower anonymous structs or unions to HIRFrank King-0/+15
2024-02-12remove a bunch of dead parameters in fnyukang-6/+0
2024-02-11Rollup merge of #120872 - petrochenkov:opthirpar, r=cjgillotMatthias Krüger-15/+11
2024-02-10Gracefully handle non-WF alias in assemble_alias_bound_candidates_recurMichael Goulet-2/+6
2024-02-10Rollup merge of #120870 - Zalathar:allow-min-spec, r=oli-obkMatthias Krüger-1/+1
2024-02-10Auto merge of #120771 - oli-obk:useless_non_ensure_query_call, r=davidtwcobors-1/+1
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-15/+11
2024-02-10Auto merge of #120712 - compiler-errors:async-closures-harmonize, r=oli-obkbors-201/+481
2024-02-10Remove unnecessary `min_specialization` after bootstrapZalathar-1/+1
2024-02-10Rollup merge of #120584 - compiler-errors:u, r=lcnrMatthias Krüger-110/+196
2024-02-09Rollup merge of #120836 - lcnr:param-env-hide-impl, r=BoxyUwUMatthias Krüger-46/+72
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-33/+57
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-0/+2
2024-02-09hide impls if trait bound is proven from envlcnr-46/+66
2024-02-09add commentlcnr-0/+6
2024-02-09make it recursiveMichael Goulet-93/+95
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-142/+226
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-23/+3
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-382/+427
2024-02-08Prefer AsyncFn* over Fn* for coroutine-closuresMichael Goulet-3/+15
2024-02-08reviews + rebaseBoxy-55/+51
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-15/+13
2024-02-08introduce `enter_forall`Boxy-318/+369
2024-02-08Use `ensure` when the result of the query is not needed beyond its `Result`nessOli Scherer-1/+1
2024-02-08Rollup merge of #120734 - nnethercote:SubdiagnosticMessageOp, r=compiler-errorsMatthias Krüger-5/+2
2024-02-08Rollup merge of #120206 - petrochenkov:somehir, r=compiler-errorsMatthias Krüger-29/+26
2024-02-08Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebankbors-0/+14
2024-02-08Add `SubdiagnosticMessageOp` as a trait alias.Nicholas Nethercote-5/+2
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-29/+26
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-2/+3
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-13/+112
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-105/+303
2024-02-06add fixmeLukas Markeffsky-4/+8
2024-02-06Flatten confirmation logicMichael Goulet-136/+107
2024-02-06More comments, final tweaksMichael Goulet-7/+28
2024-02-06Add some testsMichael Goulet-3/+13
2024-02-06Bless tests, add commentsMichael Goulet-12/+19
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-2/+590
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-11/+76
2024-02-06Make async closures directly lower to ClosureKind::CoroutineClosureMichael Goulet-39/+44
2024-02-06Invert diagnostic lints.Nicholas Nethercote-0/+2