about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2024-11-08Get rid of check_opaque_type_well_formedMichael Goulet-89/+1
2024-11-04Remove unnecessary qualifiers.Nicholas Nethercote-3/+3
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-6/+8
2024-11-04Reduce visibilities.Nicholas Nethercote-4/+6
2024-10-31Encode cross-crate opaque type originMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-6/+8
2024-10-28fix clippy::clone_on_ref_ptr for compilerklensy-2/+2
2024-10-24Plumb through param_env to note_type_errMichael Goulet-0/+1
2024-10-07Rollup merge of #131225 - nnethercote:rustc_borrowck-mm, r=lqdJubilee-10/+13
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-2/+2
2024-10-04Avoid `&Rc<T>` arguments.Nicholas Nethercote-7/+8
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-3/+5
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-9/+9
2024-09-11Also fix if in elseMichael Goulet-8/+4
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+3
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+3
2024-08-30refactor NLL MIR dump entry pointRémy Rakic-1/+1
2024-08-16Add `warn(unreachable_pub)` to `rustc_borrowck`.Nicholas Nethercote-10/+10
2024-08-06Don't arbitrarily choose one upper bound for hidden captured regionMichael Goulet-15/+20
2024-07-29Reformat `use` declarations.Nicholas Nethercote-35/+35
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-03Auto merge of #123720 - amandasystems:dyn-enable-refactor, r=nikomatsakisbors-72/+29
2024-07-01Code review: rename the method `min_universe()`Amanda Stjerna-7/+9
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-67/+22
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-4/+9
2024-06-24Auto merge of #126023 - amandasystems:you-dropped-this-again, r=nikomatsakisbors-5/+3
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-12Address code review comments on the commentsAmanda Stjerna-29/+29
2024-06-12Move `RegionTracker` to `region_infer`Amanda Stjerna-1/+92
2024-06-12Resurrect some comments, remove a `pub`Amanda Stjerna-1/+42
2024-06-12Roll back a few `#[instrument]`Amanda Stjerna-15/+12
2024-06-12Simplify path compression logicAmanda Stjerna-0/+2
2024-06-12Extend SCC construction to enable extra functionalityAmanda Stjerna-196/+69
2024-06-06Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-5/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-20Uplift RegionVidMichael Goulet-5/+5
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-4/+1
2024-05-10Name tweaksMichael Goulet-1/+4
2024-05-10More rename falloutMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-5/+2
2024-05-09Rollup merge of #124924 - goofylfg:master, r=est31Matthias Krüger-1/+1
2024-05-09Rollup merge of #124893 - xldenis:public-region-apis, r=lcnrMatthias Krüger-5/+14
2024-05-09chore: remove repetitive wordsgoofylfg-1/+1
2024-05-08Make a minimal amount of region APIs publicXavier Denis-5/+14
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-6/+3
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1