summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2022-07-15promote placeholder bounds to 'static obligationsNiko Matsakis-5/+33
2022-06-24Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726bors-21/+82
2022-06-23Rollup merge of #98184 - compiler-errors:elided-lifetime-in-impl-nll, r=cjgillotMichael Goulet-5/+56
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-22Auto merge of #98279 - cjgillot:all-fresh-nofn, r=petrochenkovbors-1/+8
2022-06-21Rollup merge of #98022 - compiler-errors:erroneous-borrowck-span, r=oli-obkYuki Okushi-10/+14
2022-06-20Give name if anonymous region appears in impl signatureMichael Goulet-5/+56
2022-06-19Only use special async fn case for actual async fns in borrowck diagnostics.Camille GILLOT-1/+8
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-22/+81
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-3/+8
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-13/+15
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-2/+2
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-16/+16
2022-06-12Fix erroneous span for borrowck errorMichael Goulet-10/+14
2022-06-12Make `ExprKind::Closure` a struct variant.Camille GILLOT-13/+15
2022-06-10bound_vars -> infer: don't return lt maplcnr-7/+5
2022-06-10only expect lb lt for fn calls in mir typecklcnr-6/+8
2022-06-07Auto merge of #97081 - oli-obk:outlives_query_fast_path, r=jackh726bors-1/+1
2022-06-03Rollup merge of #97415 - cjgillot:is-late-bound-solo, r=estebankDylan DPC-4/+4
2022-06-03Compute `is_late_bound` in a separate query.Camille GILLOT-2/+2
2022-06-03Manipulate lifetimes by LocalDefId for region resolution.Camille GILLOT-2/+2
2022-06-03Rollup merge of #97653 - RalfJung:int-to-ptr, r=oli-obkDylan DPC-13/+37
2022-06-02add cast kind of from_exposed_addr (int-to-ptr casts)Ralf Jung-13/+37
2022-06-02Rollup merge of #97023 - cjgillot:uniform-anon, r=estebankDylan DPC-4/+6
2022-06-01rename PointerAddress → PointerExposeAddressRalf Jung-1/+1
2022-05-31Add a pointer to address cast kindTomasz Miąsko-3/+17
2022-05-29Handle anonymous lifetimes properly in diagnostics.Camille GILLOT-4/+6
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-3/+5
2022-05-28Initial fixes on top of type interner commitMichael Goulet-2/+4
2022-05-28Auto merge of #97284 - b-naber:constraint-dyn-impl-suggestion, r=estebankbors-64/+263
2022-05-26clippy::complexity fixesMatthias Krüger-3/+3
2022-05-26rebase, use Ty in CallArgument and re-insert static_assert_size on Constraint...b-naber-21/+16
2022-05-25suggest constraining dyn trait in impl in NLLb-naber-28/+197
2022-05-25add def_id and substs to ConstraintCategory::CallArgumentb-naber-36/+71
2022-05-23Refactor call terminator to always hold a destination placeJakob Degen-25/+24
2022-05-22Lifetime variance fixes for rustcMichael Goulet-14/+18
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-199/+217
2022-05-17Change `Successors` to `impl Iterator<Item = BasicBlock>`SparrowLii-6/+6
2022-05-16Some tracing cleanupsOli Scherer-1/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-4/+9
2022-05-13Add bound_type_ofJack Huey-4/+5
2022-05-13For non-defining opaque type usage errors, don't try to also prove all trait ...Oli Scherer-106/+1
2022-05-10Introduce EarlyBinderJack Huey-5/+9
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