about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2023-02-20Auto merge of #107969 - b-naber:proj-relate-variance, r=lcnrbors-4/+25
2023-02-19add some cfgs backb-naber-73/+130
2023-02-19remove cfgsb-naber-209/+42
2023-02-19rebaseb-naber-81/+92
2023-02-19some conditional importsb-naber-5/+5
2023-02-19sccs infob-naber-3/+69
2023-02-19collect existentials and placeholdersb-naber-14/+58
2023-02-19collect region contexts during mir renumberingb-naber-35/+337
2023-02-19add BorrowckInferCtxtb-naber-1/+29
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-16/+12
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-8/+10
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-21/+8
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-22/+16
2023-02-16Replace some `then`s with some `then_some`sMaybe Waffle-1/+1
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-21/+8
2023-02-15exhaustive matching in get_ambient_varianceb-naber-1/+9
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-1/+1
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-9/+9
2023-02-15Rollup merge of #105300 - aliemjay:member-lower, r=oli-obkDylan DPC-11/+24
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-22/+16
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-9/+9
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-12only require sub type relation on field projection typesb-naber-4/+17
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-5/+1
2023-02-10emit `AliasEq` when relating type and const aliasesBoxy-5/+1
2023-02-10Auto merge of #107652 - estebank:re_error, r=oli-obkbors-7/+18
2023-02-09Update implied_outlives_bounds to properly register implied bounds behind nor...Jack Huey-5/+10
2023-02-09Cleanup free_region_relations a bitJack Huey-69/+86
2023-02-09Use 'static RegionVid for ReErrorEsteban Küber-3/+9
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-5/+4
2023-02-09Introduce `ReError`Esteban Küber-4/+10
2023-02-08Rollup merge of #107780 - compiler-errors:instantiate-binder, r=lcnrMatthias Krüger-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-02-07Auto merge of #107768 - matthiaskrgr:rollup-9u4cal4, r=matthiaskrgrbors-10/+2
2023-02-07remove binder from query constraintslcnr-10/+2
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
2023-02-04Rollup merge of #107646 - estebank:specific-span, r=compiler-errorsMatthias Krüger-6/+57
2023-02-04Auto merge of #107267 - cjgillot:keep-aggregate, r=oli-obkbors-2/+6
2023-02-03review commentsEsteban Küber-14/+17
2023-02-03Provide structured suggestion for binding needing type on E0594Esteban Küber-6/+54
2023-02-03Rollup merge of #106575 - estebank:issue-64008, r=pnkfelixMatthias Krüger-16/+12
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-2/+6
2023-02-02Suggest `move` in nested closure when appropriateEsteban Küber-16/+12
2023-02-02Rollup merge of #107532 - compiler-errors:erase-regions-in-uninhabited, r=jac...Matthias Krüger-1/+4
2023-02-01Erase regions before uninhabited checkMichael Goulet-1/+4
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-2/+2
2023-01-31Auto merge of #100754 - davidtwco:translation-incremental, r=compiler-errorsbors-13/+9