]> git.lizzy.rs Git - rust.git/log
rust.git
23 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;`

23 months 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

23 months 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

23 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

23 months 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.

23 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

23 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`

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

23 months 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

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

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

23 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.

23 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

23 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

23 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

23 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.

23 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

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

23 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

23 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`

23 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`

23 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

23 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!

23 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`

23 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.

23 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

23 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

23 months 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

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

23 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

23 months 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

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

23 months 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

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

23 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.

23 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

23 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

23 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.

23 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

23 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

23 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

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

23 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

23 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

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

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

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

23 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

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

23 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

23 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

23 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

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

23 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

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

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

23 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

23 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

23 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

23 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

23 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

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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

23 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

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

23 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

23 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

23 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

23 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

23 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

23 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

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

23 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

23 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

23 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

23 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

23 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

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

23 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

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

23 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

23 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

23 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

23 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`

23 months agoAuto merge of #12808 - Veykril:check-workspace, r=Veykril
bors [Thu, 4 Aug 2022 12:57:04 +0000 (12:57 +0000)]
Auto merge of #12808 - Veykril:check-workspace, r=Veykril

feat: Only flycheck workspace that belongs to saved file

Supercedes https://github.com/rust-lang/rust-analyzer/pull/11038

There is still the problem that all the diagnostics are cleared, only clearing diagnostics of the relevant workspace isn't easily doable though I think, will have to dig into that

23 months agoDon't flycheck while the workspace is being loaded
Lukas Wirth [Thu, 4 Aug 2022 12:01:33 +0000 (14:01 +0200)]
Don't flycheck while the workspace is being loaded

23 months agoAuto merge of #12939 - jean-santos:errors-ide-hover-wrong-place, r=Veykril
bors [Thu, 4 Aug 2022 12:42:51 +0000 (12:42 +0000)]
Auto merge of #12939 - jean-santos:errors-ide-hover-wrong-place, r=Veykril

Error Diagnostics appear in the wrong place

Fix #12436