about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2023-10-02Add docs, remove code, change subtyper codeouz-a-7/+16
2023-10-02subtyping_projectionsouz-a-0/+12
2023-09-27fix clippy::{redundant_guards, useless_format}Matthias Krüger-2/+2
2023-09-27Auto merge of #116163 - compiler-errors:lazyness, r=oli-obkbors-1/+1
2023-09-26subst -> instantiatelcnr-7/+6
2023-09-26Don't store lazyness in DefKindMichael Goulet-1/+1
2023-09-24Remove span from BrAnon.Camille GILLOT-35/+19
2023-09-24Try to use approximate placeholder regions when outputting an AscribeUserType...Jack Huey-13/+54
2023-09-21Record asyncness span in HIRMichael Goulet-1/+1
2023-09-21Rollup merge of #115972 - RalfJung:const-consistency, r=oli-obkGuillaume Gomez-22/+21
2023-09-21Prevent promotion of const fn calls in inline constsOli Scherer-1/+1
2023-09-21rename mir::Constant -> mir::ConstOperand, mir::ConstKind -> mir::ConstRalf Jung-22/+21
2023-09-18Remove `RegionHighlightMode::tcx`.Nicholas Nethercote-4/+4
2023-09-12cleanup on messagesyukang-9/+0
2023-09-11Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-...bors-13/+20
2023-09-11Bubble up opaque <eq> opaque operations instead of picking an orderOli Scherer-13/+20
2023-09-11Auto merge of #115595 - surechen:114896, r=davidtwcobors-6/+78
2023-09-11Auto merge of #115308 - chenyukang:yukang-fix-62387-iter-mut, r=davidtwcobors-1/+41
2023-09-11Disentangle `Debug` and `Display` for `Ty`.Nicholas Nethercote-5/+22
2023-09-07Auto merge of #115602 - oli-obk:lower_intrinsics, r=petrochenkovbors-9/+29
2023-09-07fixes #114896surechen-6/+78
2023-09-06Rollup merge of #114511 - chenyukang:yukang-fix-114374-fmt-args, r=b-naberMatthias Krüger-13/+37
2023-09-07suggest iter_mut() where trying to modify elements from .iter()yukang-1/+41
2023-09-06Don't report any errors in `lower_intrinsics`. They should have been typecked...Oli Scherer-9/+29
2023-09-02Take `&mut Results` in `ResultsVisitor`Jason Newcomb-3/+3
2023-08-31remove dummy UniverseInfo causes from type checker `fully_perform_op`Rémy Rakic-7/+5
2023-08-31remove dummy UniverseInfo causes from type checker `type_check`Rémy Rakic-4/+0
2023-08-31remove dummy UniverseInfo causes from type checker `instantiate_canonical_wit...Rémy Rakic-7/+0
2023-08-30return default `UniverseInfo` cause in `RegionInferenceContext`Rémy Rakic-1/+8
2023-08-25Auto merge of #115045 - RalfJung:unwind-terminate-reason, r=davidtwcobors-6/+6
2023-08-24Auto merge of #115147 - estebank:issue-114311, r=davidtwcobors-88/+91
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-6/+6
2023-08-23Bump cfg(bootstrap)Mark Rousskov-1/+1
2023-08-23Suggest mutable borrow on read only for-loop that should be mutableEsteban Küber-88/+91
2023-08-23Remove the unhelpful let binding diag comes from FormatArgumentsyukang-13/+37
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-10/+14
2023-08-19Fix redundant explicit link in rustc_borrowckKyle Lin-1/+1
2023-08-16Make TerminatorEdge plural.Camille GILLOT-2/+2
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-6/+9
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-0/+4
2023-08-14reviewlcnr-9/+6
2023-08-14check for non-defining uses of RPITlcnr-27/+17
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-1/+1
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-08-04Rollup merge of #114477 - estebank:arc-clone, r=compiler-errorsMatthias Krüger-1/+11
2023-08-04Rollup merge of #114434 - Nilstrieb:indexing-spans, r=est31Matthias Krüger-3/+3
2023-08-04Account for `Rc` and `Arc` when suggesting to cloneEsteban Küber-1/+11
2023-08-04don't ICE on higher ranked hidden typesAli MJ Al-Nasrawy-11/+29
2023-08-04Improve spans for indexing expressionsNilstrieb-3/+3
2023-08-04Rollup merge of #114022 - oli-obk:tait_ice_alias_field_projection, r=cjgillotMatthias Krüger-4/+2