rust/src/test/ui/closures, branch perf-tmphttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=perf-tmp2023-01-11T09:32:08+00:00Move /src/test to /tests2023-01-11T09:32:08+00:00Albert Larsan74931857+albertlarsan68@users.noreply.github.com2023-01-05T08:13:28+00:00urn:sha1:cf2dff2b1e3fa55fa5415d524200070d0d7aacfeDetect closures assigned to binding in block2023-01-05T21:29:36+00:00Esteban Küberesteban@kuber.com.ar2023-01-05T21:29:36+00:00urn:sha1:ce6b7179afcdf6ae2dad7e69c56f1f5c957b47bd
Fix #58497.
Auto merge of #105409 - compiler-errors:closure-infer-cycle, r=jackh7262023-01-05T03:59:31+00:00borsbors@rust-lang.org2023-01-05T03:59:31+00:00urn:sha1:03b9e1d154ecf8e04656fdf0179a28cd8ef333c5
Don't deduce a signature that makes a closure cyclic
Sometimes when elaborating supertrait bounds for closure signature inference, we end up deducing a closure signature that is cyclical because either a parameter or the return type references a projection mentioning `Self` that also has escaping bound vars, which means that it's not eagerly replaced with an inference variable.
Interestingly, this is not *just* related to my PR that elaborates supertrait bounds for closure signature deduction. The committed test `supertrait-hint-cycle-3.rs` shows **stable** code that is fixed by this PR:
```rust
trait Foo<'a> {
type Input;
}
impl<F: Fn(u32)> Foo<'_> for F {
type Input = u32;
}
fn needs_super<F: for<'a> Fn(<F as Foo<'a>>::Input) + for<'a> Foo<'a>>(_: F) {}
fn main() {
needs_super(|_: u32| {});
}
```
Fixes #105401
Fixes #105396
r? types
Verbose suggestions2023-01-02T05:33:23+00:00Esteban Küberesteban@kuber.com.ar2023-01-01T08:06:31+00:00urn:sha1:545406528a229f24844305b1a925cd6c743ea8edUse verbose suggestions for mutability errors2022-12-29T06:06:25+00:00Esteban Küberesteban@kuber.com.ar2022-12-29T05:52:57+00:00urn:sha1:b9439ebf1240e75e8f110298bbfe868169f16ebeMore tests2022-12-27T17:56:57+00:00Michael Gouletmichael@errs.io2022-12-07T03:50:35+00:00urn:sha1:fa2f31b97178c3a66d6e5f91fa597711f585fd3bDon't deduce a signature that makes a closure cyclic2022-12-27T17:56:56+00:00Michael Gouletmichael@errs.io2022-12-06T23:55:26+00:00urn:sha1:0817b1d3ed26898e7d9ed71f6a2218d912ea6de5Rollup merge of #105523 - estebank:suggest-collect-vec, r=compiler-errors2022-12-14T09:31:07+00:00Matthias Krügermatthias.krueger@famsik.de2022-12-14T09:31:07+00:00urn:sha1:e5fde968dbbb87e5721ff5da91a49cab88b90b91
Suggest `collect`ing into `Vec<_>`
Fix #105510.
Auto merge of #105667 - matthiaskrgr:rollup-fexlc0b, r=matthiaskrgr2022-12-13T22:05:28+00:00borsbors@rust-lang.org2022-12-13T22:05:28+00:00urn:sha1:21ee03e0621c70b894e1bfdd8c82ba5aeaabc812
Rollup of 7 pull requests
Successful merges:
- #105147 (Allow unsafe through inline const)
- #105438 (Move some codegen-y methods from `rustc_hir_analysis::collect` -> `rustc_codegen_ssa`)
- #105464 (Support #[track_caller] on async closures)
- #105476 (Change pattern borrowing suggestions to be verbose and remove invalid suggestion)
- #105500 (Make some diagnostics not depend on the source of what they reference being available)
- #105628 (Small doc fixes)
- #105659 (Don't require owned data in `MaybeStorageLive`)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
review comments2022-12-13T19:36:43+00:00Esteban Küberesteban@kuber.com.ar2022-12-13T19:36:43+00:00urn:sha1:165efabbee6e2ea997bdbd7aee67f92554a83f80