Santiago Pastorino
14ea17858d
Fail if LifetimeRes is Infer when creating def ids for lifetimes copies
2022-08-04 11:26:55 -03:00
Santiago Pastorino
c390bda356
Record RPITs elided lifetimes in Rptr Tys
2022-08-04 11:26:55 -03:00
Santiago Pastorino
1802d45b12
Record RPITs elided lifetimes in path segments
2022-08-04 11:26:54 -03:00
Santiago Pastorino
81c4d2371a
Restructure visit_ty in a more clear way
2022-08-04 11:26:54 -03:00
Santiago Pastorino
05b989e16e
Skip lifetimes in binders when visiting
2022-08-04 11:26:54 -03:00
Santiago Pastorino
4f334f2b97
Move LifetimeCollectVisitor to rustc_ast_lowering
2022-08-04 11:26:54 -03:00
Santiago Pastorino
9f77688d17
Completely remove captures flag
2022-08-04 11:26:53 -03:00
Santiago Pastorino
20c88a2a30
Do not execute captures code when lowering lifetimes as GenericArg
2022-08-04 11:26:53 -03:00
Santiago Pastorino
9c0d9babd1
Do not execute captures code for async fns
2022-08-04 11:26:53 -03:00
Santiago Pastorino
5a184acfc6
There's no need to check binders_to_ignore using the old code anymore
2022-08-04 11:26:53 -03:00
Santiago Pastorino
19dcbd151b
Explicitly gather lifetimes and definitions for bare async fns
2022-08-04 11:26:52 -03:00
Santiago Pastorino
25825cd4fa
Extract create_and_capture_lifetime_defs function
2022-08-04 11:26:52 -03:00
Santiago Pastorino
fac763168f
Remove NEW_COLLECT_LIFETIMES env var
2022-08-04 11:26:52 -03:00
Santiago Pastorino
399609e841
Add debug! calls
2022-08-04 11:26:52 -03:00
Santiago Pastorino
cda2c04592
Explicitly gather lifetimes and definitions in RPIT
2022-08-04 11:26:51 -03:00
Santiago Pastorino
84a24a1b3c
Unroll while_capturing_lifetimes into lower_opaque_impl_trait
2022-08-04 11:26:51 -03:00
Santiago Pastorino
0f11a0cd24
Add captures flag to capture or not while lowering
2022-08-04 11:26:51 -03:00
Santiago Pastorino
b14c9571fa
Make lower_generic_bound_predicate receive AST bounds instead of HIR bounds
2022-08-04 11:26:51 -03:00
Santiago Pastorino
5c23a2e5a6
Remove old docs on lower_async_fn_ret_ty
2022-08-04 11:26:50 -03:00
Michael Goulet
f5af266b6d
Address nits
2022-08-04 13:59:25 +00:00
Michael Goulet
fe894756f8
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
2022-08-04 13:50:56 +00:00
Michael Goulet
3e48434cc7
Use ObligationCtxt in impossible_predicates
2022-08-04 13:42:13 +00:00
Michael Goulet
61d9b1656d
Remove unnecessary FulfillmentContext from need_migrate_deref_output_trait_object
2022-08-04 13:42:13 +00:00
Michael Goulet
37d412cff7
Remove FulfillmentContext param from fully_normalize
2022-08-04 13:42:13 +00:00
Michael Goulet
da59fa74f0
Use ObligationCtxt in main fn return type check
2022-08-04 13:42:12 +00:00
bors
3830ecaa8d
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`
2022-08-04 13:24:57 +00:00
bors
0fe3bcfd35
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
2022-08-04 12:57:04 +00:00
Lukas Wirth
df7f755e3b
Don't flycheck while the workspace is being loaded
2022-08-04 14:56:44 +02:00
bors
c6a9fbfd00
Auto merge of #12939 - jean-santos:errors-ide-hover-wrong-place, r=Veykril
...
Error Diagnostics appear in the wrong place
Fix #12436
2022-08-04 12:42:51 +00:00
Jean santos
5698e51027
tidy formatting
2022-08-04 09:28:34 -03:00
Takayuki Maeda
8c85c9936f
add a comment about what we can parse now
2022-08-04 20:43:35 +09:00
Chris Denton
a0e4c16958
Update after code review
2022-08-04 12:26:40 +01:00
Lukas Wirth
df9d3db82f
Trigger flycheck on all transitive dependencies as well
2022-08-04 13:22:15 +02:00
wcampbell
8dd44f1af4
Enable unused_parens for match arms
2022-08-04 07:16:39 -04:00
bors
6f18f0a9d4
Auto merge of #99953 - cjgillot:in-path-always, r=petrochenkov
...
Always create elided lifetimes, even if inferred.
`PathSource` gives the context in which a path is encountered. The same `PathSource` is used for the full path and the `QSelf` part.
Therefore, we can only rely on `PathSource` to know whether typechecking will be able to infer the lifetimes, not whether we need to insert them at all.
Fixes https://github.com/rust-lang/rust/issues/99949
2022-08-04 10:21:40 +00:00
Tomoaki Kawada
0af4a28894
kmc-solid: Add a stub implementation of File::set_times
2022-08-04 19:12:30 +09:00
Ryan Levick
6cc3b412f8
Add min-gdb-version
2022-08-04 11:46:30 +02:00
Guillaume Gomez
008693d231
remove Clean trait implementation for hir::TraitRef
2022-08-04 11:43:50 +02:00
Guillaume Gomez
a442c1e057
remove Clean trait implementation for hir::FnRetTy
2022-08-04 11:32:45 +02:00
Ryan Levick
d39bc1a7aa
Update FIXME comment
...
Co-authored-by: Wesley Wiser <wwiser@gmail.com>
2022-08-04 10:39:35 +02:00
Ryan Levick
f7bfd74f63
Add comment about issue caused with multiple statics
2022-08-04 10:39:35 +02:00
Ryan Levick
4fd0a7e30a
Fix linux tests
2022-08-04 10:39:35 +02:00
Ryan Levick
95f4d41100
Turn CDB test back on and all clarifying test
2022-08-04 10:39:35 +02:00
Ryan Levick
f2ee1242b1
Turn off cdb test for now, link to issue
2022-08-04 10:39:35 +02:00
Ryan Levick
e696309fa3
Add a test for issue #33172
2022-08-04 10:39:35 +02:00
bors
2f2243c9b6
Auto merge of #99843 - oli-obk:is_useful_perf, r=compiler-errors
...
Some `is_useful` cleanups
#98582 was reverted because it was a perf regression.
https://github.com/rust-lang/rust/pull/99806 reintroduces the changes, but this PR picks individual ones that have no regressions.
2022-08-04 07:35:33 +00:00
Michael Goulet
47a7a91c96
Use (actually) dummy place for let-else divergence
2022-08-04 05:08:09 +00:00
bors
caee496150
Auto merge of #100120 - matthiaskrgr:rollup-g6ycykq, r=matthiaskrgr
...
Rollup of 6 pull requests
Successful merges:
- #98771 (Add support for link-flavor rust-lld for iOS, tvOS and watchOS)
- #98835 (relate `closure_substs.parent_substs()` to parent fn in NLL)
- #99746 (Use `TraitEngine` in more places that don't specifically need `FulfillmentContext::new_in_snapshot`)
- #99786 (Recover from C++ style `enum struct`)
- #99795 (Delay a bug when failed to normalize trait ref during specialization)
- #100029 (Prevent ICE for `doc_alias` on match arm, statement, expression)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2022-08-04 03:52:29 +00:00
Josh Stone
68df40e7f0
doc: s390x also requires glibc 2.17
...
Co-authored-by: Jubilee <46493976+workingjubilee@users.noreply.github.com>
2022-08-03 20:34:58 -07:00
Josh Stone
491bdcbe9f
Clarify the comment about CentOS 7's kernel version
2022-08-03 20:34:58 -07:00