about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-28/+9
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-6/+6
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-23/+28
2022-11-21Add more regression testsOli Scherer-6/+6
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-1/+1
2022-11-21Remove a function that doesn't actually do anythingOli Scherer-8/+1
2022-11-21Register obligations from type relationOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-6/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-11/+40
2022-11-20Factor out conservative_is_privately_uninhabitedCameron Steffen-4/+1
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-2/+5
2022-11-18rename `is_tainted_by_errors` Boxy-4/+8
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-3/+3
2022-11-18dont unchecked create `ErrorGuaranteed` in `BorrowckErrors`Boxy-10/+12
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-16/+11
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-16/+11
2022-11-16Generalize the `ToPredicate` traitOli Scherer-1/+1
2022-11-14Give precendence to regions from member constaints when inferring concrete ty...Camille GILLOT-11/+40
2022-11-13Make user_provided_sigs a LocalDefIdMap.Camille GILLOT-4/+3
2022-11-11Rollup merge of #103960 - AndyJado:var_path_only_diag, r=davidtwcoManish Goregaokar-60/+207
2022-11-09Rollup merge of #102763 - compiler-errors:nits, r=cjgillotMichael Goulet-14/+7
2022-11-09Rollup merge of #103464 - JakobDegen:mir-parsing, r=oli-obkManish Goregaokar-0/+14
2022-11-09Rollup merge of #103307 - b4den:master, r=estebankManish Goregaokar-1/+1
2022-11-09Make span_suggestions take IntoIteratorMichael Goulet-1/+1
2022-11-09DiagnosticBuilder -> DiagnosticMichael Goulet-13/+6
2022-11-09struct error E0505AndyJado-6/+31
2022-11-09var_subdiag refinementAndyJado-57/+64
2022-11-09remove old var_span_path_onlyAndyJado-17/+75
2022-11-09lint auto passAndyJado-0/+57
2022-11-08Add support for custom MIR parsingJakob Degen-0/+14
2022-11-09Auto merge of #104179 - Manishearth:rollup-yvsx5hh, r=Manishearthbors-4/+60
2022-11-08Rollup merge of #103559 - AndyJado:var_span_label, r=davidtwcoManish Goregaokar-4/+60
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-1/+4
2022-11-08add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed'yukang-6/+7
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-1/+1
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-1/+4
2022-11-07Auto merge of #103218 - CastilloDel:infer, r=jackh726bors-4/+4
2022-11-06Auto merge of #102618 - aliemjay:simplify-closure-promote, r=compiler-errorsbors-258/+103
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-11-05first move on a nested span_labelAndyJado-4/+60
2022-11-05use spans in TypeTest rather than mir::LocationAli MJ Al-Nasrawy-23/+11
2022-11-05simplify applying closure requirementsAli MJ Al-Nasrawy-235/+92
2022-11-05Rollup merge of #103868 - compiler-errors:trait-engine-less, r=jackh726Matthias Krüger-35/+27
2022-11-04Rollup merge of #103780 - compiler-errors:bound-closure-lifetimes, r=jackh726Matthias Krüger-35/+94
2022-11-02Use TraitEngine lessMichael Goulet-35/+27
2022-11-01Rollup merge of #103575 - Xiretza:suggestions-style-attr, r=davidtwcoManish Goregaokar-1/+1
2022-11-01Auto merge of #103590 - compiler-errors:ocx-more, r=lcnrbors-23/+18
2022-10-31Add bug! back to late_bound_vars queryMichael Goulet-0/+4
2022-10-31Make external/local late-bound region registration more explicitMichael Goulet-25/+68
2022-10-31Collect late-bound regions from all closure parents in `closure_mapping`Michael Goulet-40/+44