about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-02-08Use `ensure` when the result of the query is not needed beyond its `Result`nessOli Scherer-1/+1
2024-02-08Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebankbors-0/+14
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-2/+3
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-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-03Use `StringPart` more.Nicholas Nethercote-12/+12
2024-02-03`Diagnostic` cleanupsNicholas Nethercote-1/+1
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-4/+4
2024-02-02Use deeply_normalize_with_skipped_universes in when processing type outlivesMichael Goulet-1/+2
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/+46
2024-01-30Rollup merge of #120485 - chenyukang:yukang-add-query-instability-check, r=mi...Guillaume Gomez-0/+1
2024-01-30Rollup merge of #120342 - oli-obk:track_errors6, r=nnethercoteGuillaume Gomez-115/+136
2024-01-30Rollup merge of #120293 - estebank:issue-102629, r=nnethercoteGuillaume Gomez-2/+10
2024-01-30add missing potential_query_instability for keys and values in hashmapyukang-0/+1
2024-01-30Apply suggestions from reviewMichael Goulet-3/+6
2024-01-30Deeply normalize when processing registered region obligationsMichael Goulet-1/+43
2024-01-29merge builtin unsize candidates againlcnr-87/+41
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-111/+31
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-22/+18
2024-01-26Auto merge of #119968 - clubby789:unused-feature, r=compiler-errorsbors-1/+0
2024-01-26Auto merge of #116167 - RalfJung:structural-eq, r=lcnrbors-1/+1
2024-01-25Track ErrorGuaranteed instead of conjuring it from thin airOli Scherer-11/+20
2024-01-25Statically ensure report_selection_error actually reports an errorOli Scherer-106/+118
2024-01-25Remove unused featuresclubby789-1/+0
2024-01-25Rollup merge of #119389 - estebank:issue-116925, r=TaKO8KiMatthias Krüger-45/+195
2024-01-24remove StructuralEq traitRalf Jung-1/+1
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-2/+10
2024-01-24Remove extra # from urlest31-1/+1
2024-01-23Rollup merge of #120270 - compiler-errors:randos, r=lcnrLeón Orell Valerian Liehr-35/+13
2024-01-23Rollup merge of #119805 - chenyukang:yukang-fix-119530, r=davidtwcoLeón Orell Valerian Liehr-0/+4
2024-01-23Random type checker changesMichael Goulet-35/+13