]> git.lizzy.rs Git - rust.git/log
rust.git
22 months agoAuto merge of #100172 - Mark-Simulacrum:bump-165, r=Mark-Simulacrum
bors [Sat, 6 Aug 2022 09:37:32 +0000 (09:37 +0000)]
Auto merge of #100172 - Mark-Simulacrum:bump-165, r=Mark-Simulacrum

Bump to 1.65.0

r? `@Mark-Simulacrum`

22 months agoAuto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726
bors [Sat, 6 Aug 2022 06:48:15 +0000 (06:48 +0000)]
Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726

Some `FulfillmentContext`-related cleanups

Use `ObligationCtxt` in some places, remove some `FulfillmentContext`s in others...

r? types

22 months agoAuto merge of #100035 - workingjubilee:merge-functions, r=nikic
bors [Fri, 5 Aug 2022 23:11:49 +0000 (23:11 +0000)]
Auto merge of #100035 - workingjubilee:merge-functions, r=nikic

Enable function merging when opt is for size

It is, of course, natural to want to merge aliasing functions when
optimizing for code size, since that can eliminate several bytes.
And an exhaustive match helps make the code less brittle.

Closes #98215.

22 months agoEnable function merging when opt is for size
Jubilee Young [Mon, 1 Aug 2022 21:04:14 +0000 (14:04 -0700)]
Enable function merging when opt is for size

It is, of course, natural to want to merge aliasing functions when
optimizing for code size, since that can eliminate several bytes.
And an exhaustive match helps make the code less brittle.

22 months agoAuto merge of #100174 - Dylan-DPC:rollup-wnskbk6, r=Dylan-DPC
bors [Fri, 5 Aug 2022 16:35:15 +0000 (16:35 +0000)]
Auto merge of #100174 - Dylan-DPC:rollup-wnskbk6, r=Dylan-DPC

Rollup of 6 pull requests

Successful merges:

 - #99835 (Suggest adding/removing `ref` for binding patterns)
 - #100155 (Use `node_type_opt` to skip over generics that were not expected)
 - #100157 (rustdoc: use `collect()` instead of repeatedly pushing)
 - #100158 (kmc-solid: Add a stub implementation of #98246 (`File::set_times`))
 - #100166 (Remove more Clean trait implementations)
 - #100168 (Improve diagnostics for `const a: = expr;`)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

22 months agoRollup merge of #100168 - WaffleLapkin:improve_diagnostics_for_missing_type_in_a_cons...
Dylan DPC [Fri, 5 Aug 2022 16:24:37 +0000 (21:54 +0530)]
Rollup merge of #100168 - WaffleLapkin:improve_diagnostics_for_missing_type_in_a_const_item, r=compiler-errors

Improve diagnostics for `const a: = expr;`

Adds a suggestion to write a type when there is a colon, but the type is not present.
I've also shrunk spans a little, so the suggestions are a little nicer.

Resolves #100146

r? `@compiler-errors`

22 months agoRollup merge of #100166 - GuillaumeGomez:rm-clean-impls, r=Dylan-DPC
Dylan DPC [Fri, 5 Aug 2022 16:24:36 +0000 (21:54 +0530)]
Rollup merge of #100166 - GuillaumeGomez:rm-clean-impls, r=Dylan-DPC

Remove more Clean trait implementations

Follow-up of https://github.com/rust-lang/rust/pull/99638.

r? `@notriddle`

22 months agoRollup merge of #100158 - solid-rs:patch/kmc-solid/follow-up-98246, r=joshtriplett
Dylan DPC [Fri, 5 Aug 2022 16:24:35 +0000 (21:54 +0530)]
Rollup merge of #100158 - solid-rs:patch/kmc-solid/follow-up-98246, r=joshtriplett

kmc-solid: Add a stub implementation of #98246 (`File::set_times`)

 Fixes the build failure of the [`*-kmc-solid_*`](https://doc.rust-lang.org/nightly/rustc/platform-support/kmc-solid.html) Tier 3 targets after #98246.

This target does not support setting a modification time and access time separately, hence stubbing out the implementation.

22 months agoRollup merge of #100157 - rust-lang:notriddle/use-map-instead-of-repeated-push, r...
Dylan DPC [Fri, 5 Aug 2022 16:24:34 +0000 (21:54 +0530)]
Rollup merge of #100157 - rust-lang:notriddle/use-map-instead-of-repeated-push, r=Dylan-DPC

rustdoc: use `collect()` instead of repeatedly pushing

22 months agoRollup merge of #100155 - compiler-errors:issue-100154, r=jackh726
Dylan DPC [Fri, 5 Aug 2022 16:24:33 +0000 (21:54 +0530)]
Rollup merge of #100155 - compiler-errors:issue-100154, r=jackh726

Use `node_type_opt` to skip over generics that were not expected

Fixes #100154

22 months agoRollup merge of #99835 - TaKO8Ki:suggest-adding-or-removing-ref-for-binding-pattern...
Dylan DPC [Fri, 5 Aug 2022 16:24:32 +0000 (21:54 +0530)]
Rollup merge of #99835 - TaKO8Ki:suggest-adding-or-removing-ref-for-binding-pattern, r=estebank

Suggest adding/removing `ref` for binding patterns

This fixes what a fixme comment says.

r? `@estebank`

22 months agoBump to 1.65.0
Mark Rousskov [Fri, 5 Aug 2022 15:32:46 +0000 (11:32 -0400)]
Bump to 1.65.0

22 months agoAuto merge of #100073 - dpaoliello:externvar, r=michaelwoerister
bors [Fri, 5 Aug 2022 13:05:34 +0000 (13:05 +0000)]
Auto merge of #100073 - dpaoliello:externvar, r=michaelwoerister

Add test for raw-dylib with an external variable

All existing tests of link kind `raw-dylib` only validate the ability to link against functions, but it is also possible to link against variables.

This adds tests for linking against a variable using `raw-dylib` both by-name and by-ordinal.

22 months agoImprove diagnostics for `const a: = expr;`
Maybe Waffle [Fri, 5 Aug 2022 11:41:42 +0000 (15:41 +0400)]
Improve diagnostics for `const a: = expr;`

22 months agoremove Clean trait implementation for hir::TraitItem
Guillaume Gomez [Fri, 5 Aug 2022 10:08:32 +0000 (12:08 +0200)]
remove Clean trait implementation for hir::TraitItem

22 months agoremove Clean trait implementation for hir::PolyTraitRef
Guillaume Gomez [Fri, 5 Aug 2022 10:01:30 +0000 (12:01 +0200)]
remove Clean trait implementation for hir::PolyTraitRef

22 months agoAuto merge of #95977 - FabianWolff:issue-92790-dead-tuple, r=estebank
bors [Fri, 5 Aug 2022 09:32:26 +0000 (09:32 +0000)]
Auto merge of #95977 - FabianWolff:issue-92790-dead-tuple, r=estebank

Warn about dead tuple struct fields

Continuation of #92972. Fixes #92790.

The language team has already commented on this in https://github.com/rust-lang/rust/pull/92972#issuecomment-1021511970; I have incorporated their requests here. Specifically, there is now a new allow-by-default `unused_tuple_struct_fields` lint (name bikesheddable), and fields of unit type are ignored (https://github.com/rust-lang/rust/pull/92972#issuecomment-1021815408), so error messages look like this:
```
error: field is never read: `1`
  --> $DIR/tuple-struct-field.rs:6:21
   |
LL | struct Wrapper(i32, [u8; LEN], String);
   |                     ^^^^^^^^^
   |
help: change the field to unit type to suppress this warning while preserving the field numbering
   |
LL | struct Wrapper(i32, (), String);
   |                     ~~
```
r? `@joshtriplett`

22 months agoAuto merge of #99867 - spastorino:refactor-remap-lifetimes, r=nikomatsakis
bors [Fri, 5 Aug 2022 06:35:12 +0000 (06:35 +0000)]
Auto merge of #99867 - spastorino:refactor-remap-lifetimes, r=nikomatsakis

Split create_def and lowering of lifetimes for opaque types and bare async fns

r? `@cjgillot`

This work is kind of half-way, but I think it could be merged anyway.
I think we should be able to remove all the vacant arms in `new_named_lifetime_with_res`, if I'm not wrong that requires visiting more nodes. We can do that as a follow up.
In follow-up PRs, besides the thing mentioned previously, I'll be trying to remove `LifetimeCaptureContext`, `captured_lifetimes` as a global data structure, global `binders_to_ignore` and all their friends :).

Also try to remap in a more general way based on def-ids.

22 months agoAuto merge of #97085 - rylev:test-issue-33172, r=wesleywiser
bors [Fri, 5 Aug 2022 03:26:47 +0000 (03:26 +0000)]
Auto merge of #97085 - rylev:test-issue-33172, r=wesleywiser

Add a test for issue #33172

Adds a test confirming that #33172 has been fixed.

CDB has some surprising results as it looks like the supposedly unmangled static's symbol name is prefixed when it shouldn't be.

r? `@wesleywiser`

Closes #33172

22 months agorustdoc: use `collect()` instead of repeatedly pushing to bounds
Michael Howell [Fri, 5 Aug 2022 01:13:53 +0000 (18:13 -0700)]
rustdoc: use `collect()` instead of repeatedly pushing to bounds

22 months agorustdoc: use `collect()` instead of repeatedly pushing to bindings
Michael Howell [Fri, 5 Aug 2022 00:19:57 +0000 (17:19 -0700)]
rustdoc: use `collect()` instead of repeatedly pushing to bindings

22 months agoAuto merge of #95026 - cuviper:bump-linux-min, r=Mark-Simulacrum
bors [Thu, 4 Aug 2022 23:56:07 +0000 (23:56 +0000)]
Auto merge of #95026 - cuviper:bump-linux-min, r=Mark-Simulacrum

Increase the minimum linux-gnu versions

This is implementing the MCP from rust-lang/compiler-team#493. It is
increasing the minimum requirements of a couple Tier 1 targets, and
others at lower tiers, so this should go through FCP sign-offs for both
`T-compiler` and `T-release`.

The new `linux-gnu` baseline is kernel 3.2 and glibc 2.17. We will also
take that kernel as the minimum floor for _all_ `*-linux-*` targets, so
it may be broadly assumed in the implementation of the standard library.
That does not preclude specific targets from having greater requirements
where it makes sense, like a new arch needing something newer, or a
platform like `linux-android` choosing a newer baseline.

22 months agoLink /rustroot/lib stuff for clang -m32 to see
Josh Stone [Thu, 4 Aug 2022 23:25:01 +0000 (16:25 -0700)]
Link /rustroot/lib stuff for clang -m32 to see

22 months agoopt node type
Michael Goulet [Thu, 4 Aug 2022 22:43:39 +0000 (22:43 +0000)]
opt node type

22 months agoAuto merge of #100151 - matthiaskrgr:rollup-irqwvj2, r=matthiaskrgr
bors [Thu, 4 Aug 2022 21:03:48 +0000 (21:03 +0000)]
Auto merge of #100151 - matthiaskrgr:rollup-irqwvj2, r=matthiaskrgr

Rollup of 7 pull requests

Successful merges:

 - #98796 (Do not exclusively suggest `;` when `,` is also a choice)
 - #99772 (Re-enable submodule archive downloads.)
 - #100058 (Suggest a positional formatting argument instead of a captured argument)
 - #100093 (Enable unused_parens for match arms)
 - #100095 (More EarlyBinder cleanups)
 - #100138 (Remove more Clean trait implementations)
 - #100148 (RustWrapper: update for TypedPointerType in LLVM)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup

22 months agoRollup merge of #100148 - durin42:llvm-16-pointertype, r=nikic
Matthias Krüger [Thu, 4 Aug 2022 20:25:06 +0000 (22:25 +0200)]
Rollup merge of #100148 - durin42:llvm-16-pointertype, r=nikic

RustWrapper: update for TypedPointerType in LLVM

This is a result of https://reviews.llvm.org/D130592.

r? `@nikic`

22 months agoRollup merge of #100138 - GuillaumeGomez:rm-clean-impls, r=notriddle
Matthias Krüger [Thu, 4 Aug 2022 20:25:05 +0000 (22:25 +0200)]
Rollup merge of #100138 - GuillaumeGomez:rm-clean-impls, r=notriddle

Remove more Clean trait implementations

Follow-up of https://github.com/rust-lang/rust/pull/99638.

r? `@notriddle`

22 months agoRollup merge of #100095 - jackh726:early-binder, r=lcnr
Matthias Krüger [Thu, 4 Aug 2022 20:25:04 +0000 (22:25 +0200)]
Rollup merge of #100095 - jackh726:early-binder, r=lcnr

More EarlyBinder cleanups

Each commit is independent

r? types

22 months agoRollup merge of #100093 - wcampbell0x2a:unused-parens-for-match-arms, r=petrochenkov
Matthias Krüger [Thu, 4 Aug 2022 20:25:02 +0000 (22:25 +0200)]
Rollup merge of #100093 - wcampbell0x2a:unused-parens-for-match-arms, r=petrochenkov

Enable unused_parens for match arms

Fixes: https://github.com/rust-lang/rust/issues/92751
Currently I can't get the `stderr` to work with `./x.py test`, but this should fix the issue. Help would be appreciated!

22 months agoRollup merge of #100058 - TaKO8Ki:suggest-positional-formatting-argument-instead...
Matthias Krüger [Thu, 4 Aug 2022 20:25:01 +0000 (22:25 +0200)]
Rollup merge of #100058 - TaKO8Ki:suggest-positional-formatting-argument-instead-of-format-args-capture, r=estebank

Suggest a positional formatting argument instead of a captured argument

This patch fixes a part of #96999.

fixes #98241
fixes #97311

r? `@estebank`

22 months agoRollup merge of #99772 - ehuss:reenable-submodule-archive, r=Mark-Simulacrum
Matthias Krüger [Thu, 4 Aug 2022 20:25:00 +0000 (22:25 +0200)]
Rollup merge of #99772 - ehuss:reenable-submodule-archive, r=Mark-Simulacrum

Re-enable submodule archive downloads.

This is effectively a revert of #98423 (though it keeps the `--depth 1` flag since that is still helpful).

GitHub has indicated that they have been working on the original issue, and my testing shows that the llvm-project archive download now succeeds 100% of the time.

This should save about a minute on every job.

22 months agoRollup merge of #98796 - compiler-errors:no-semi-if-comma, r=estebank
Matthias Krüger [Thu, 4 Aug 2022 20:24:59 +0000 (22:24 +0200)]
Rollup merge of #98796 - compiler-errors:no-semi-if-comma, r=estebank

Do not exclusively suggest `;` when `,` is also a choice

Fixes #96791

22 months agoAdd test for raw-dylib with an external variable
Daniel Paoliello [Tue, 2 Aug 2022 18:36:41 +0000 (11:36 -0700)]
Add test for raw-dylib with an external variable

22 months agoFix typo
Santiago Pastorino [Thu, 4 Aug 2022 15:48:20 +0000 (12:48 -0300)]
Fix typo

22 months agoImprove opt_local_def_id docs
Santiago Pastorino [Thu, 4 Aug 2022 15:47:58 +0000 (12:47 -0300)]
Improve opt_local_def_id docs

22 months agoDowngrade dist-powerpc-linux binutils to 2.30
Josh Stone [Thu, 4 Aug 2022 17:16:19 +0000 (10:16 -0700)]
Downgrade dist-powerpc-linux binutils to 2.30

With binutils 2.32, we were getting errors like this:

    relocation truncated to fit: R_PPC_PLTREL24 against symbol
        `__cxa_atexit@@GLIBC_2.1.3' defined in .plt section in
        /x-tools/powerpc-unknown-linux-gnu/powerpc-unknown-linux-gnu/sysroot/usr/lib/crt1.o

but it builds okay with binutils 2.30.

22 months agoImprove record_def_id_remap docs
Santiago Pastorino [Thu, 4 Aug 2022 15:47:19 +0000 (12:47 -0300)]
Improve record_def_id_remap docs

22 months agoDo not collect lifetimes with Infer resolution
Santiago Pastorino [Thu, 4 Aug 2022 15:40:00 +0000 (12:40 -0300)]
Do not collect lifetimes with Infer resolution

22 months agoRustWrapper: update for TypedPointerType in LLVM
Augie Fackler [Thu, 4 Aug 2022 15:31:01 +0000 (11:31 -0400)]
RustWrapper: update for TypedPointerType in LLVM

This is a result of https://reviews.llvm.org/D130592.

22 months agoUse span_bug instead of panic
Santiago Pastorino [Thu, 4 Aug 2022 15:07:03 +0000 (12:07 -0300)]
Use span_bug instead of panic

22 months agoAdd docs to generics_def_id_map
Santiago Pastorino [Thu, 4 Aug 2022 13:14:16 +0000 (10:14 -0300)]
Add docs to generics_def_id_map

22 months agoAdd docs to record_elided_anchor
Santiago Pastorino [Thu, 4 Aug 2022 13:12:56 +0000 (10:12 -0300)]
Add docs to record_elided_anchor

22 months agoExtract record_elided_anchor
Santiago Pastorino [Thu, 4 Aug 2022 13:10:04 +0000 (10:10 -0300)]
Extract record_elided_anchor

22 months agoMove new_remapping inside with_hir_id_owner
Santiago Pastorino [Thu, 4 Aug 2022 13:05:04 +0000 (10:05 -0300)]
Move new_remapping inside with_hir_id_owner

22 months agoAdd documentation for create_lifetime_defs
Santiago Pastorino [Thu, 4 Aug 2022 13:02:52 +0000 (10:02 -0300)]
Add documentation for create_lifetime_defs

22 months agoAdd more debug calls
Santiago Pastorino [Thu, 4 Aug 2022 12:58:37 +0000 (09:58 -0300)]
Add more debug calls

22 months agoAdd documentation about lifetime args
Santiago Pastorino [Thu, 4 Aug 2022 12:56:12 +0000 (09:56 -0300)]
Add documentation about lifetime args

22 months agoAdd documentation about lifetime_defs
Santiago Pastorino [Thu, 4 Aug 2022 12:52:15 +0000 (09:52 -0300)]
Add documentation about lifetime_defs

22 months agoMove hir_bounds after lifetime_defs
Santiago Pastorino [Thu, 4 Aug 2022 12:44:18 +0000 (09:44 -0300)]
Move hir_bounds after lifetime_defs

22 months agocaptures -> collected_lifetimes
Santiago Pastorino [Thu, 4 Aug 2022 02:26:10 +0000 (23:26 -0300)]
captures -> collected_lifetimes

22 months agoMove lifetimes_in_bounds call to outside with_hir_id_owner block in lower_async_fn_ret_ty
Santiago Pastorino [Thu, 4 Aug 2022 02:24:13 +0000 (23:24 -0300)]
Move lifetimes_in_bounds call to outside with_hir_id_owner block in lower_async_fn_ret_ty

22 months agoMove lifetimes_in_bounds call to outside with_hir_id_owner block in lower_opaque_impl...
Santiago Pastorino [Thu, 4 Aug 2022 02:16:03 +0000 (23:16 -0300)]
Move lifetimes_in_bounds call to outside with_hir_id_owner block in lower_opaque_impl_trait

22 months agoDocument what collected_lifetimes vec containts
Santiago Pastorino [Wed, 3 Aug 2022 22:40:54 +0000 (19:40 -0300)]
Document what collected_lifetimes vec containts

22 months agoDocument lower_opaque_impl_trait
Santiago Pastorino [Wed, 3 Aug 2022 22:34:00 +0000 (19:34 -0300)]
Document lower_opaque_impl_trait

22 months agowith_lifetime_binder is now lower_lifetime_binder and doesn't need a closure
Santiago Pastorino [Wed, 3 Aug 2022 22:09:14 +0000 (19:09 -0300)]
with_lifetime_binder is now lower_lifetime_binder and doesn't need a closure

22 months agoAdd comments on with_remapping
Santiago Pastorino [Wed, 3 Aug 2022 20:32:24 +0000 (17:32 -0300)]
Add comments on with_remapping

22 months agoDocument opt_local_def_id
Santiago Pastorino [Wed, 3 Aug 2022 20:26:38 +0000 (17:26 -0300)]
Document opt_local_def_id

22 months agoDocument generics_def_id_map field and record/get methods on it
Santiago Pastorino [Wed, 3 Aug 2022 20:16:33 +0000 (17:16 -0300)]
Document generics_def_id_map field and record/get methods on it

22 months agoAdd comments about lifetime collect and create lifetime defs for RPITs
Santiago Pastorino [Wed, 3 Aug 2022 20:06:30 +0000 (17:06 -0300)]
Add comments about lifetime collect and create lifetime defs for RPITs

22 months agoAvoid explicitly handling res when is not needed
Santiago Pastorino [Wed, 3 Aug 2022 02:06:38 +0000 (23:06 -0300)]
Avoid explicitly handling res when is not needed

22 months agocreate_and_capture_lifetime_defs -> create_lifetime_defs
Santiago Pastorino [Tue, 2 Aug 2022 23:15:15 +0000 (20:15 -0300)]
create_and_capture_lifetime_defs -> create_lifetime_defs

22 months agoRemove captured_lifetimes and LifetimeCaptureContext and make create_lifetime_defs...
Santiago Pastorino [Tue, 2 Aug 2022 23:14:24 +0000 (20:14 -0300)]
Remove captured_lifetimes and LifetimeCaptureContext and make create_lifetime_defs return the captures

22 months agoImplement def_id based remapping
Santiago Pastorino [Tue, 2 Aug 2022 23:01:40 +0000 (20:01 -0300)]
Implement def_id based remapping

22 months agoRemove local_def_id from captured_lifetimes
Santiago Pastorino [Wed, 3 Aug 2022 02:20:15 +0000 (23:20 -0300)]
Remove local_def_id from captured_lifetimes

22 months agoCapture things as Lifetime object to simplify things
Santiago Pastorino [Tue, 2 Aug 2022 21:04:37 +0000 (18:04 -0300)]
Capture things as Lifetime object to simplify things

22 months agoCreate new_mapping local structure and avoid checking def_ids on captures
Santiago Pastorino [Tue, 2 Aug 2022 20:17:34 +0000 (17:17 -0300)]
Create new_mapping local structure and avoid checking def_ids on captures

22 months agoRemove binders_to_ignore from LifetimeCaptureContext
Santiago Pastorino [Tue, 2 Aug 2022 18:46:03 +0000 (15:46 -0300)]
Remove binders_to_ignore from LifetimeCaptureContext

22 months agoNo need to store parent_def_id in LifetimeCaptureContext
Santiago Pastorino [Tue, 2 Aug 2022 18:34:32 +0000 (15:34 -0300)]
No need to store parent_def_id in LifetimeCaptureContext

22 months agoNo need to check binders to ignore on new_named_lifetime_with_res's LifetimeRes:...
Santiago Pastorino [Tue, 2 Aug 2022 18:27:52 +0000 (15:27 -0300)]
No need to check binders to ignore on new_named_lifetime_with_res's LifetimeRes::Fresh

22 months agoNo need to check binders to ignore on new_named_lifetime_with_res's LifetimeRes:...
Santiago Pastorino [Tue, 2 Aug 2022 18:27:46 +0000 (15:27 -0300)]
No need to check binders to ignore on new_named_lifetime_with_res's LifetimeRes::Param

22 months agonew_named_lifetime_with_res's LifetimeRes::Fresh should have created def_id already
Santiago Pastorino [Tue, 2 Aug 2022 18:14:53 +0000 (15:14 -0300)]
new_named_lifetime_with_res's LifetimeRes::Fresh should have created def_id already

22 months agonew_named_lifetime_with_res's LifetimeRes::Param should have created def_id already
Santiago Pastorino [Tue, 2 Aug 2022 18:14:42 +0000 (15:14 -0300)]
new_named_lifetime_with_res's LifetimeRes::Param should have created def_id already

22 months agoFail if LifetimeRes is Infer when creating def ids for lifetimes copies
Santiago Pastorino [Tue, 2 Aug 2022 14:39:40 +0000 (11:39 -0300)]
Fail if LifetimeRes is Infer when creating def ids for lifetimes copies

22 months agoRecord RPITs elided lifetimes in Rptr Tys
Santiago Pastorino [Tue, 2 Aug 2022 18:06:12 +0000 (15:06 -0300)]
Record RPITs elided lifetimes in Rptr Tys

22 months agoRecord RPITs elided lifetimes in path segments
Santiago Pastorino [Tue, 2 Aug 2022 14:03:29 +0000 (11:03 -0300)]
Record RPITs elided lifetimes in path segments

22 months agoRestructure visit_ty in a more clear way
Santiago Pastorino [Tue, 2 Aug 2022 14:00:34 +0000 (11:00 -0300)]
Restructure visit_ty in a more clear way

22 months agoSkip lifetimes in binders when visiting
Santiago Pastorino [Mon, 1 Aug 2022 19:03:49 +0000 (16:03 -0300)]
Skip lifetimes in binders when visiting

22 months agoMove LifetimeCollectVisitor to rustc_ast_lowering
Santiago Pastorino [Sat, 30 Jul 2022 01:38:07 +0000 (22:38 -0300)]
Move LifetimeCollectVisitor to rustc_ast_lowering

22 months agoCompletely remove captures flag
Santiago Pastorino [Tue, 26 Jul 2022 18:50:25 +0000 (15:50 -0300)]
Completely remove captures flag

22 months agoDo not execute captures code when lowering lifetimes as GenericArg
Santiago Pastorino [Tue, 26 Jul 2022 18:30:58 +0000 (15:30 -0300)]
Do not execute captures code when lowering lifetimes as GenericArg

22 months agoDo not execute captures code for async fns
Santiago Pastorino [Tue, 26 Jul 2022 18:23:26 +0000 (15:23 -0300)]
Do not execute captures code for async fns

22 months agoThere's no need to check binders_to_ignore using the old code anymore
Santiago Pastorino [Tue, 26 Jul 2022 18:11:44 +0000 (15:11 -0300)]
There's no need to check binders_to_ignore using the old code anymore

22 months agoExplicitly gather lifetimes and definitions for bare async fns
Santiago Pastorino [Tue, 26 Jul 2022 18:11:15 +0000 (15:11 -0300)]
Explicitly gather lifetimes and definitions for bare async fns

22 months agoExtract create_and_capture_lifetime_defs function
Santiago Pastorino [Tue, 26 Jul 2022 17:49:24 +0000 (14:49 -0300)]
Extract create_and_capture_lifetime_defs function

22 months agoRemove NEW_COLLECT_LIFETIMES env var
Santiago Pastorino [Tue, 26 Jul 2022 14:56:26 +0000 (11:56 -0300)]
Remove NEW_COLLECT_LIFETIMES env var

22 months agoAdd debug! calls
Santiago Pastorino [Tue, 26 Jul 2022 14:39:06 +0000 (11:39 -0300)]
Add debug! calls

22 months agoExplicitly gather lifetimes and definitions in RPIT
Santiago Pastorino [Wed, 20 Jul 2022 19:30:37 +0000 (16:30 -0300)]
Explicitly gather lifetimes and definitions in RPIT

22 months agoUnroll while_capturing_lifetimes into lower_opaque_impl_trait
Santiago Pastorino [Wed, 20 Jul 2022 01:16:32 +0000 (22:16 -0300)]
Unroll while_capturing_lifetimes into lower_opaque_impl_trait

22 months agoAdd captures flag to capture or not while lowering
Santiago Pastorino [Wed, 20 Jul 2022 15:58:48 +0000 (12:58 -0300)]
Add captures flag to capture or not while lowering

22 months agoMake lower_generic_bound_predicate receive AST bounds instead of HIR bounds
Santiago Pastorino [Tue, 19 Jul 2022 21:10:27 +0000 (18:10 -0300)]
Make lower_generic_bound_predicate receive AST bounds instead of HIR bounds

22 months agoRemove old docs on lower_async_fn_ret_ty
Santiago Pastorino [Fri, 15 Jul 2022 15:58:22 +0000 (12:58 -0300)]
Remove old docs on lower_async_fn_ret_ty

22 months agoAddress nits
Michael Goulet [Thu, 4 Aug 2022 13:59:25 +0000 (13:59 +0000)]
Address nits

22 months agoAdd `traits::fully_solve_obligation` that acts like `traits::fully_normalize`
Michael Goulet [Tue, 2 Aug 2022 06:02:04 +0000 (06:02 +0000)]
Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`

It spawns up a trait engine, registers the single obligation, then fully
solves it

22 months agoUse ObligationCtxt in impossible_predicates
Michael Goulet [Tue, 26 Jul 2022 04:01:34 +0000 (04:01 +0000)]
Use ObligationCtxt in impossible_predicates

22 months agoRemove unnecessary FulfillmentContext from need_migrate_deref_output_trait_object
Michael Goulet [Tue, 26 Jul 2022 04:01:17 +0000 (04:01 +0000)]
Remove unnecessary FulfillmentContext from need_migrate_deref_output_trait_object

22 months agoRemove FulfillmentContext param from fully_normalize
Michael Goulet [Tue, 26 Jul 2022 03:24:16 +0000 (03:24 +0000)]
Remove FulfillmentContext param from fully_normalize

22 months agoUse ObligationCtxt in main fn return type check
Michael Goulet [Tue, 26 Jul 2022 03:18:45 +0000 (03:18 +0000)]
Use ObligationCtxt in main fn return type check

22 months agoAuto merge of #100087 - JakobDegen:mir-patch, r=tmiasko
bors [Thu, 4 Aug 2022 13:24:57 +0000 (13:24 +0000)]
Auto merge of #100087 - JakobDegen:mir-patch, r=tmiasko

Avoid invalidating the CFG in `MirPatch`

As a part of this change, we adjust `MirPatch` to not needlessly create unnecessary resume blocks.

r? `@tmiasko`

22 months agoadd a comment about what we can parse now
Takayuki Maeda [Thu, 4 Aug 2022 11:43:35 +0000 (20:43 +0900)]
add a comment about what we can parse now

22 months agoEnable unused_parens for match arms
wcampbell [Wed, 3 Aug 2022 04:00:04 +0000 (00:00 -0400)]
Enable unused_parens for match arms