about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
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-146/+358
2024-02-10Rollup merge of #120584 - compiler-errors:u, r=lcnrMatthias Krüger-101/+134
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-14/+47
2024-02-09make it recursiveMichael Goulet-9/+5
2024-02-09For a rigid projection, recursively look at the self type's item boundsMichael Goulet-101/+138
2024-02-08Rollup merge of #120590 - compiler-errors:dead, r=NilstriebMatthias Krüger-3/+2
2024-02-08Auto merge of #120544 - BoxyUwU:enter_forall, r=lcnrbors-255/+282
2024-02-08Prefer AsyncFn* over Fn* for coroutine-closuresMichael Goulet-3/+15
2024-02-08reviews + rebaseBoxy-51/+48
2024-02-08rename `instantiate_binder_with_placeholders`Boxy-13/+11
2024-02-08introduce `enter_forall`Boxy-194/+226
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 #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-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-1/+1
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-104/+231
2024-02-06add fixmeLukas Markeffsky-3/+4
2024-02-06Flatten confirmation logicMichael Goulet-82/+56
2024-02-06More comments, final tweaksMichael Goulet-1/+10
2024-02-06Add some testsMichael Goulet-3/+13
2024-02-06Bless tests, add commentsMichael Goulet-5/+9
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+2
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-1/+289
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-9/+59
2024-02-06Make async closures directly lower to ClosureKind::CoroutineClosureMichael Goulet-39/+44
2024-02-05old solver: improve normalization of `Pointee::Metadata`Lukas Markeffsky-13/+24
2024-02-05extend docs for `predicate_must_hold_considering_regions`Lukas Markeffsky-1/+22
2024-02-05Avoid emitting trait bound errors of incoherent traitsOli Scherer-0/+14
2024-02-04Auto merge of #120649 - matthiaskrgr:rollup-ek80j61, r=matthiaskrgrbors-69/+90
2024-02-04Auto merge of #120624 - matthiaskrgr:rollup-3gvcl20, r=matthiaskrgrbors-13/+1
2024-02-03Rollup merge of #120531 - oli-obk:track_errors7, r=estebankMatthias Krüger-13/+1
2024-02-03Rollup merge of #120592 - trevyn:cleanup-to-string, r=NilstriebMatthias Krüger-3/+3
2024-02-02Remove unnecessary `.to_string()`/`.as_str()`strevyn-3/+3
2024-02-02Remove dead args from functionsMichael Goulet-3/+2
2024-02-03Use `StringPart` more.Nicholas Nethercote-12/+12
2024-02-03`Diagnostic` cleanupsNicholas Nethercote-1/+1
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-1/+1
2024-02-01review comment: change wordingEsteban Küber-3/+3
2024-02-01On E0277 be clearer about implicit `Sized` bounds on type params and assoc typesEsteban Küber-69/+90
2024-01-31Remove a has_errors check that doesn't actually prevent noisy follow up errorsOli Scherer-4/+0
2024-01-31Remove a has_errors check that does not prevent follow up error noiseOli Scherer-4/+0
2024-01-31Remove a has_errors check that only hides errors after unrelated items have e...Oli Scherer-3/+0
2024-01-31Remove has_errors check that has no effectOli Scherer-2/+1
2024-01-31Rollup merge of #120469 - estebank:issue-40120, r=TaKO8KiNadrieril-16/+25
2024-01-30Provide more context on derived obligation error primary labelEsteban Küber-16/+25
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-1/+5
2024-01-30Rollup merge of #120485 - chenyukang:yukang-add-query-instability-check, r=mi...Guillaume Gomez-0/+1