about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2022-11-23OpaqueCast projections are always overlapping, they can't possibly be disjointOli Scherer-10/+4
2022-11-23Fix #104639, find the right lower bound region in the scenario of partial ord...yukang-20/+7
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-14/+2
2022-11-23Rollup merge of #104728 - WaffleLapkin:require-lang-items-politely, r=compile...Yuki Okushi-2/+2
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-2/+2
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-1/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-18/+10
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