-
Notifications
You must be signed in to change notification settings - Fork 12.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Rollup of 9 pull requests #85727
Rollup of 9 pull requests #85727
Commits on Apr 15, 2021
-
elision of generic argument in E0599 if the methode has not been foun…
…d anywhere and sugetion of type with method when found.
Configuration menu - View commit details
-
Copy full SHA for c64a2ed - Browse repository at this point
Copy the full SHA c64a2edView commit details
Commits on May 21, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 6efa14b - Browse repository at this point
Copy the full SHA 6efa14bView commit details -
Revert portion of PR rust-lang#83521 that injected issue rust-lang#85435
(and thus exposed underlying issue rust-lang#85561).
Configuration menu - View commit details
-
Copy full SHA for 1f130fb - Browse repository at this point
Copy the full SHA 1f130fbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4742bbb - Browse repository at this point
Copy the full SHA 4742bbbView commit details -
Apply suggestions from code review
(removing confusing comment from my test, since the comment reflects the bad undesirable behavior that is being fixed here.)
Configuration menu - View commit details
-
Copy full SHA for 0d073c9 - Browse repository at this point
Copy the full SHA 0d073c9View commit details
Commits on May 22, 2021
-
Apply suggestions from code review
Co-authored-by: Esteban Kuber <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 5b802ed - Browse repository at this point
Copy the full SHA 5b802edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 120691c - Browse repository at this point
Copy the full SHA 120691cView commit details -
Configuration menu - View commit details
-
Copy full SHA for a50f1e9 - Browse repository at this point
Copy the full SHA a50f1e9View commit details
Commits on May 24, 2021
-
Apply suggestions from code review
test THIR unsafeck too Co-authored-by: Léo Lanteri Thauvin <[email protected]>
Configuration menu - View commit details
-
Copy full SHA for 1c1d4f9 - Browse repository at this point
Copy the full SHA 1c1d4f9View commit details -
Recent commits to cc have helped to address rust-lang#83043 and rust-lang#43468
Configuration menu - View commit details
-
Copy full SHA for e238ee3 - Browse repository at this point
Copy the full SHA e238ee3View commit details
Commits on May 25, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 5d8e6ea - Browse repository at this point
Copy the full SHA 5d8e6eaView commit details -
Configuration menu - View commit details
-
Copy full SHA for caf6faf - Browse repository at this point
Copy the full SHA caf6fafView commit details -
Add first cut of functionality for rust-lang#58713: support for #[lin…
…k(kind = "raw-dylib")]. This does not yet support #[link_name] attributes on functions, the #[link_ordinal] attribute, #[link(kind = "raw-dylib")] on extern blocks in bin crates, or
Configuration menu - View commit details
-
Copy full SHA for 7b86665 - Browse repository at this point
Copy the full SHA 7b86665View commit details
Commits on May 26, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 128d385 - Browse repository at this point
Copy the full SHA 128d385View commit details -
Configuration menu - View commit details
-
Copy full SHA for 45099e6 - Browse repository at this point
Copy the full SHA 45099e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for b3054d2 - Browse repository at this point
Copy the full SHA b3054d2View commit details -
This removes a workaround for rust-lang#24159, which has been fixed.
Configuration menu - View commit details
-
Copy full SHA for ff8a387 - Browse repository at this point
Copy the full SHA ff8a387View commit details -
Rollup merge of rust-lang#84171 - ricobbe:raw-dylib-via-llvm, r=petro…
…chenkov Partial support for raw-dylib linkage First cut of functionality for issue rust-lang#58713: add support for `#[link(kind = "raw-dylib")]` on `extern` blocks in lib crates compiled to .rlib files. Does not yet support `#[link_name]` attributes on functions, or the `#[link_ordinal]` attribute, or `#[link(kind = "raw-dylib")]` on `extern` blocks in bin crates; I intend to publish subsequent PRs to fill those gaps. It's also not yet clear whether this works for functions in `extern "stdcall"` blocks; I also intend to investigate that shortly and make any necessary changes as a follow-on PR. This implementation calls out to an LLVM function to construct the actual `.idata` sections as temporary `.lib` files on disk and then links those into the generated .rlib.
Configuration menu - View commit details
-
Copy full SHA for 999a3c9 - Browse repository at this point
Copy the full SHA 999a3c9View commit details -
Rollup merge of rust-lang#84221 - ABouttefeux:generic-arg-elision, r=…
…estebank E0599 suggestions and elision of generic argument if no canditate is found fixes rust-lang#81576 changes: In error E0599 (method not found) generic argument are eluded if the method was not found anywhere. If the method was found in another inherent implementation suggest that it was found elsewhere. Example ```rust struct Wrapper<T>(T); struct Wrapper2<T> { x: T, } impl Wrapper2<i8> { fn method(&self) {} } fn main() { let wrapper = Wrapper(i32); wrapper.method(); let wrapper2 = Wrapper2{x: i32}; wrapper2.method(); } ``` ``` Error[E0599]: no method named `method` found for struct `Wrapper<_>` in the current scope .... error[E0599]: no method named `method` found for struct `Wrapper2<i32>` in the current scope ... = note: The method was found for Wrapper2<i8>. ``` I am not very happy with the ```no method named `test` found for struct `Vec<_, _>` in the current scope```. I think it might be better to show only one generic argument `Vec<_>` if there is a default one. But I haven't yet found a way to do that,
Configuration menu - View commit details
-
Copy full SHA for 00f75b6 - Browse repository at this point
Copy the full SHA 00f75b6View commit details -
Rollup merge of rust-lang#84701 - nikomatsakis:stabilize-member-const…
…raints-61997, r=jackh726 stabilize member constraints Stabilizes the use of "member constraints" in solving `impl Trait` bindings. This is a step towards stabilizing a "MVP" of "named impl Trait". # Member constraint stabilization report | Info | | | --- | --- | | Tracking issue | [rust-lang#61997](rust-lang#61997) | | Implementation history | [rust-lang#61775] | | rustc-dev-guide coverage | [link](https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/member_constraints.html) | | Complications | [rust-lang#61773] | [rust-lang#61775]: rust-lang#61775 [rust-lang#61773]: rust-lang#61773 ## Background Member constraints are an extension to our region solver that was introduced to make async fn region solving tractable. There are used in situations like the following: ```rust fn foo<'a, 'b>(...) -> impl Trait<'a, 'b> { .. } ``` The problem here is that every region R in the hidden type must be equal to *either* `'a` *or* `'b` (or `'static`). This cannot be expressed simply via 'outlives constriants' like `R: 'a`. Therefore, we introduce a 'member constraint' `R member of ['a, 'b]`. These constraints were introduced in [rust-lang#61775]. At the time, we kept them feature gated and used them only for `impl Trait` return types that are derived from `async fn`. The intention, however, was always to support them in other contexts once we had time to gain more experience with them. **In the time since their introduction, we have encountered no surprises or bugs due to these member constraints.** They are tested extensively as part of every async function that involves multiple unrelated lifetimes in its arguments. ## Tests The behavior of member constraints is covered by the following tests: * [`src/test/ui/async-await/multiple-lifetimes`](https://github.com/rust-lang/rust/tree/20e032e65007ff1376e8480c1fbdb0a5068028fa/src/test/ui/async-await/multiple-lifetimes) -- tests using the async await, which are mostly already stabilized * [`src/test/ui/impl-trait/multiple-lifetimes.rs`](https://github.com/rust-lang/rust/blob/20e032e65007ff1376e8480c1fbdb0a5068028fa/src/test/ui/impl-trait/multiple-lifetimes.rs) * [`src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unsuited.rs`](https://github.com/rust-lang/rust/blob/20e032e65007ff1376e8480c1fbdb0a5068028fa/src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unsuited.rs) * [`src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs`](https://github.com/rust-lang/rust/blob/20e032e65007ff1376e8480c1fbdb0a5068028fa/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-fg.rs) * [`src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.rs`](https://github.com/rust-lang/rust/blob/20e032e65007ff1376e8480c1fbdb0a5068028fa/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.rs) These tests cover a number of scenarios: * `-> implTrait<'a, 'b>` with unrelated lifetimes `'a` and `'b`, as described above * `async fn` that returns an `impl Trait` like the previous case, which desugars to a kind of "nested" impl trait like `impl Future<Output = impl Trait<'a, 'b>>` ## Potential concerns There is a potential interaction with `impl Trait` on local variables, described in [rust-lang#61773]. The challenge is that if you have a program like: ```rust= trait Foo<'_> { } impl Foo<'_> for &u32 { } fn bar() { let x: impl Foo<'_> = &44; // let's call the region variable for `'_` `'1` } ``` then we would wind up with `'0 member of ['1, 'static]`, where `'0` is the region variable in the hidden type (`&'0 u32`) and `'1` is the region variable in the bounds `Foo<'1>`. This is tricky because both `'0` and `'1` are being inferred -- so making them equal may have other repercussions. That said, `impl Trait` in bindings are not stable, and the implementation is pretty far from stabilization. Moreover, the difficulty highlighted here is not due to the presence of member constraints -- it's inherent to the design of the language. In other words, stabilizing member constraints does not actually cause us to accept anything that would make this problem any harder. So I don't see this as a blocker to stabilization of member constraints; it is potentially a blocker to stablization of `impl trait` in let bindings.
Configuration menu - View commit details
-
Copy full SHA for 2aebebf - Browse repository at this point
Copy the full SHA 2aebebfView commit details -
Rollup merge of rust-lang#85564 - pnkfelix:issue-85435-readd-capture-…
…disjoint-fields-gate, r=nikomatsakis readd capture disjoint fields gate This readds a feature gate guard that was added in PR rust-lang#83521. (Basically, there were unintended consequences to the code exposed by removing the feature gate guard.) The root bug still remains to be resolved, as discussed in issue rust-lang#85561. This is just a band-aid suitable for a beta backport. Cc issue rust-lang#85435 Note that the latter issue is unfixed until we backport this (or another fix) to 1.53 beta
Configuration menu - View commit details
-
Copy full SHA for 2bfb17e - Browse repository at this point
Copy the full SHA 2bfb17eView commit details -
Rollup merge of rust-lang#85583 - cjgillot:no-previous-dg, r=petroche…
…nkov Get rid of PreviousDepGraph. Its only role is to access the `SerializedDepGraph`.
Configuration menu - View commit details
-
Copy full SHA for c60fb26 - Browse repository at this point
Copy the full SHA c60fb26View commit details -
Rollup merge of rust-lang#85649 - ChrisDenton:update-cc, r=matthewjasper
Update cc Recent commits have improved `cc`'s finding of MSVC tools on Windows. In particular it should help to address these issues: rust-lang#83043 and rust-lang#43468
Configuration menu - View commit details
-
Copy full SHA for 3e2c8c5 - Browse repository at this point
Copy the full SHA 3e2c8c5View commit details -
Rollup merge of rust-lang#85689 - m-ou-se:array-intoiter-3, r=estebank
Remove Iterator #[rustc_on_unimplemented]s that no longer apply. Now that `IntoIterator` is implemented for arrays, all the `rustc_on_unimplemented` for arrays of ranges (e.g. `for _ in [1..3] {}`) no longer apply, since they are now valid Rust. Separated these from rust-lang#85670, because we should discuss a potential new (clippy?) lint for these. Until Rust 1.52, `for _ in [1..3] {}` produced: ``` error[E0277]: `[std::ops::Range<{integer}>; 1]` is not an iterator --> src/main.rs:2:14 | 2 | for _ in [1..3] {} | ^^^^^^ if you meant to iterate between two values, remove the square brackets | = help: the trait `std::iter::Iterator` is not implemented for `[std::ops::Range<{integer}>; 1]` = note: `[start..end]` is an array of one `Range`; you might have meant to have a `Range` without the brackets: `start..end` = note: required by `std::iter::IntoIterator::into_iter` ``` But in Rust 1.53 and later, it compiles fine. It iterates over the array by value, for one iteration with the element `1..3`. This is probably a mistake, which is no longer caught. Should we have a lint for it? Should Clippy have a lint for it? cc `@estebank` `@flip1995` cc rust-lang#84513
Configuration menu - View commit details
-
Copy full SHA for f6ce957 - Browse repository at this point
Copy the full SHA f6ce957View commit details -
Rollup merge of rust-lang#85719 - elichai:cstring-into_inner-inline, …
…r=m-ou-se Add inline attr to CString::into_inner so it can optimize out NonNull checks It seems that currently if you convert any of the standard library's container to a pointer and then to a NonNull pointer, all will optimize out the NULL check except `CString`(https://godbolt.org/z/YPKW9G5xn), because for some reason `CString::into_inner` isn't inlined even though it's a private function that should compile into a simple `mov` instruction. Adding a simple `#[inline]` attribute solves this, code example: ```rust use std::ffi::CString; use std::ptr::NonNull; pub fn cstring_nonull(mut n: CString) -> NonNull<i8> { NonNull::new(CString::into_raw(n)).unwrap() } ``` assembly before: ```asm __ZN3wat14cstring_nonull17h371c755bcad76294E: .cfi_startproc pushq %rbp .cfi_def_cfa_offset 16 .cfi_offset %rbp, -16 movq %rsp, %rbp .cfi_def_cfa_register %rbp callq __ZN3std3ffi5c_str7CString10into_inner17h28ece07b276e2878E testq %rax, %rax je LBB0_2 popq %rbp retq LBB0_2: leaq l___unnamed_1(%rip), %rdi leaq l___unnamed_2(%rip), %rdx movl $43, %esi callq __ZN4core9panicking5panic17h92a83fa9085a8f73E .cfi_endproc .section __TEXT,__const l___unnamed_1: .ascii "called `Option::unwrap()` on a `None` value" l___unnamed_3: .ascii "wat.rs" .section __DATA,__const .p2align 3 l___unnamed_2: .quad l___unnamed_3 .asciz "\006\000\000\000\000\000\000\000\006\000\000\000(\000\000" ``` Assembly after: ```asm __ZN3wat14cstring_nonull17h9645eb9341fb25d7E: .cfi_startproc pushq %rbp .cfi_def_cfa_offset 16 .cfi_offset %rbp, -16 movq %rsp, %rbp .cfi_def_cfa_register %rbp movq %rdi, %rax popq %rbp retq .cfi_endproc ``` (Related discussion on zulip: https://rust-lang.zulipchat.com/#narrow/stream/219381-t-libs/topic/NonNull.20From.3CBox.3CT.3E.3E)
Configuration menu - View commit details
-
Copy full SHA for 8636a33 - Browse repository at this point
Copy the full SHA 8636a33View commit details -
Rollup merge of rust-lang#85725 - Smittyvb:rm-24159-workaround, r=Ral…
…fJung Remove unneeded workaround This removes a workaround for rust-lang#24159, which has been fixed.
Configuration menu - View commit details
-
Copy full SHA for d0fba87 - Browse repository at this point
Copy the full SHA d0fba87View commit details