]> git.lizzy.rs Git - rust.git/log
rust.git
2 years 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.

2 years agofix: Fix incorrect token pick rankings
Lukas Wirth [Fri, 5 Aug 2022 12:59:26 +0000 (14:59 +0200)]
fix: Fix incorrect token pick rankings

2 years agoAuto merge of #12948 - Veykril:classify-ops, r=Veykril
bors [Fri, 5 Aug 2022 12:55:36 +0000 (12:55 +0000)]
Auto merge of #12948 - Veykril:classify-ops, r=Veykril

feat: Handle operators like their trait functions in the IDE

Allows hover and goto implementation to work on `?`, indexing brackets, binary operators, prefix operators and `await`. Regarding `await`, hover will continue to show the keyword docs while goto implementation will bring the user to the `poll` function of the `Future` implementation.
![Code_CJmZ3FGFVn](https://user-images.githubusercontent.com/3757771/183076683-c9899bd6-60d3-461b-965f-0c0f9745e2e8.gif)

Fixes https://github.com/rust-lang/rust-analyzer/issues/12810

2 years agoSimplify
Lukas Wirth [Fri, 5 Aug 2022 12:54:14 +0000 (14:54 +0200)]
Simplify

2 years agoFix visibilities
Lukas Wirth [Fri, 5 Aug 2022 12:28:36 +0000 (14:28 +0200)]
Fix visibilities

2 years 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;`

2 years agofeat: Handle operators like their trait functions in the IDE
Lukas Wirth [Fri, 5 Aug 2022 12:16:36 +0000 (14:16 +0200)]
feat: Handle operators like their trait functions in the IDE

2 years agorecover require,include instead of use in item
yukang [Fri, 5 Aug 2022 11:20:03 +0000 (19:20 +0800)]
recover require,include instead of use in item

2 years 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

2 years agoDon't switch workspace on vfs file changes from libraries
Lukas Wirth [Fri, 5 Aug 2022 10:06:31 +0000 (12:06 +0200)]
Don't switch workspace on vfs file changes from libraries

When r-a starts up, it starts switching the workspace before all vfs
events have been processed which causes us to switch workspace multiple
times until all vfs changes have been processed. This scales with the
size of the project and its dependencies. If workspace files from
dependencies as well as the sysroot get loaded, we shouldn't switch
the workspace as those have no impact on the project workspace.

2 years 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

2 years 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`

2 years agoremove an unnecessary `str::rfind`
Takayuki Maeda [Fri, 5 Aug 2022 09:14:15 +0000 (18:14 +0900)]
remove an unnecessary `str::rfind`

2 years agoAuto merge of #12946 - rust-lang:issue-template, r=lnicola
bors [Fri, 5 Aug 2022 07:09:34 +0000 (07:09 +0000)]
Auto merge of #12946 - rust-lang:issue-template, r=lnicola

Update bug_report.md

Closes https://github.com/rust-lang/rust-analyzer/issues/12944

2 years agoUpdate bug_report.md
Lukas Wirth [Fri, 5 Aug 2022 07:04:27 +0000 (09:04 +0200)]
Update bug_report.md

2 years agoUpdate bug_report.md
Lukas Wirth [Fri, 5 Aug 2022 06:42:13 +0000 (08:42 +0200)]
Update bug_report.md

2 years 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.

2 years 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

2 years 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

2 years 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

2 years 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.

2 years 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

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

2 years 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

2 years 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`

2 years 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`

2 years 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

2 years 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!

2 years 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`

2 years 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.

2 years 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

2 years 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

2 years agoReword some 1.63.0 release notes
Josh Stone [Thu, 4 Aug 2022 18:48:16 +0000 (11:48 -0700)]
Reword some 1.63.0 release notes

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

2 years 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

2 years agoComplete the links for 1.63.0 stabilizations
Josh Stone [Thu, 4 Aug 2022 18:08:15 +0000 (11:08 -0700)]
Complete the links for 1.63.0 stabilizations

2 years agoApply suggested updates
Josh Stone [Wed, 20 Jul 2022 20:16:27 +0000 (13:16 -0700)]
Apply suggested updates

2 years agoAdd release notes for Rust 1.63.0
Josh Stone [Wed, 20 Jul 2022 19:22:34 +0000 (12:22 -0700)]
Add release notes for Rust 1.63.0

2 years agoRelease 1.62.1
Mark Rousskov [Fri, 15 Jul 2022 21:51:06 +0000 (17:51 -0400)]
Release 1.62.1

2 years 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.

2 years 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

2 years 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

2 years 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.

2 years 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

2 years 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

2 years 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

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

2 years 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

2 years 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

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

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

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

2 years 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

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

2 years 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

2 years 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

2 years 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

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

2 years 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

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

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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

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

2 years 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

2 years 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

2 years 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

2 years 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

2 years 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

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

2 years 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

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

2 years 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

2 years 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