summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2022-10-04Final bitsJack Huey-2/+14
2022-10-04Add ExtraConstraintInfoJack Huey-9/+13
2022-10-04Add outlives_constraint to BlameConstraintJack Huey-0/+2
2022-10-04Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-2/+11
2022-09-16Revert "Better errors for implied static bound"Jack Huey-38/+11
2022-09-13Better errors for implied static boundJack Huey-11/+38
2022-09-13Cleanup retrieve_closure_constraint_infoJack Huey-41/+29
2022-09-13Remove unused body argsJack Huey-22/+4
2022-09-08Remove ReEmptyJack Huey-2/+2
2022-09-08In ReverseMapper, don't fallback to ReEmpty, instead ReStaticJack Huey-21/+11
2022-09-08Create VarValue::EmptyJack Huey-1/+1
2022-09-08remove unnecessary `PartialOrd` and `Ord`Takayuki Maeda-1/+0
2022-09-01tracing::instrument cleanupOli Scherer-18/+12
2022-08-29Rollup merge of #101146 - jackh726:borrowck-logging, r=compiler-errorsMatthias Krüger-15/+9
2022-08-29Various changes to logging of borrowck-related codeJack Huey-15/+9
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-2/+2
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-2/+2
2022-08-26diag-migAndyJado-11/+6
2022-07-26Use real opaque type instead of just saying impl TraitMichael Goulet-6/+8
2022-07-20use def_idouz-a-1/+1
2022-07-20take opaq typesouz-a-48/+54
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-8/+8
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-11Rollup merge of #98713 - nikomatsakis:issue-98693, r=jackh726Matthias Krüger-5/+33
2022-07-07Move code from rustc_trait_selection/opaque_types to better placesJack Huey-2/+482
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-11/+7
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+6
2022-06-30promote placeholder bounds to 'static obligationsNiko Matsakis-5/+33
2022-06-27fold_region: remove unused parameterlcnr-5/+5
2022-06-24Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726bors-20/+81
2022-06-23run `x.py fmt`Niko Matsakis-4/+1
2022-06-23apply suggestions from oli-obkNiko Matsakis-1/+1
2022-06-23rename IfEqBound to IfEqNiko Matsakis-4/+4
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-23/+0
2022-06-19Move RegionKind to rustc_type_irJack Huey-1/+1
2022-06-15fix universes in the NLL type testsNiko Matsakis-1/+24
2022-06-15implement (unused) matching solverNiko Matsakis-21/+80
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-3/+8
2022-05-25add def_id and substs to ConstraintCategory::CallArgumentb-naber-4/+4
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-57/+63
2022-05-13For non-defining opaque type usage errors, don't try to also prove all trait ...Oli Scherer-106/+1
2022-05-10Auto merge of #96736 - oli-obk:tait_missing_wf_check, r=davidtwcobors-0/+1
2022-05-10Check hidden types for well formedness at the definition site instead of only...Oli Scherer-0/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-13/+13
2022-04-19Add an explicit `Span` field to `OutlivesConstraint`Aaron Hill-5/+10
2022-04-07Deduplicate the error printing code for hidden type mismatchesOli Scherer-10/+3
2022-04-07Report opaque type mismatches directly during borrowck of the function instea...Oli Scherer-10/+21
2022-04-06Check that all hidden types are the same and then deduplicate them.Oli Scherer-62/+80
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Spellchecking some commentsYuri Astrakhan-2/+2