-
Couldn't load subscription status.
- Fork 13.9k
Rollup of 21 pull requests #145192
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 21 pull requests #145192
Conversation
This uses a very hacky regex that will probably miss some variables. But having some docs seems better than none at all. This uses a very hacky regex that will probably miss some variables. But having some docs seems better than none at all. In particular, this generates stubs for the following env vars: - COLORTERM - QNX_TARGET - RUST_BACKTRACE - RUSTC_BLESS - RUSTC_BOOTSTRAP - RUSTC_BREAK_ON_ICE - RUSTC_CTFE_BACKTRACE - RUSTC_FORCE_RUSTC_VERSION - RUSTC_GRAPHVIZ_FONT - RUSTC_ICE - RUSTC_LOG - RUSTC_OVERRIDE_VERSION_STRING - RUSTC_RETRY_LINKER_ON_SEGFAULT - RUSTC_TRANSLATION_NO_DEBUG_ASSERT - RUST_DEP_GRAPH_FILTER - RUST_DEP_GRAPH - RUST_FORBID_DEP_GRAPH_EDGE - RUST_MIN_STACK - RUST_TARGET_PATH - SDKROOT - TERM - UNSTABLE_RUSTDOC_TEST_LINE - UNSTABLE_RUSTDOC_TEST_PATH [rendered]()
…ependencies Signed-off-by: Jonathan Brouwer <jonathantbrouwer@gmail.com>
…ibutes explicitly
The suboptimal error only appears with NLLs due to liveness differences where polonius cannot have as many boring locals. Sometimes this causes NLLs to emit a duplicate error as well.
Remove incomplete handling of kills during traversal for loan liveness to get to a simpler and actionable prototype. This handles the cases, on sufficiently simple examples, that were deferred from NLLs (NLL problem case 3, lending iterators), and is still a good step to put in people's hands without needing to wait for another full implementation. This is a practical cut in scope, but it also shows where are the areas of improvement, that we will explore in the future.
These are just some sanity checks to ensure NLLs, the polonius alpha analysis, and the datalog implementation behave the same on these common examples.
This test showcases the same imprecision as NLLs, unlike the datalog implementation, when using reachability as a liveness approximation.
This is an example similar to the linked-list cursor examples where the alpha shows the same imprecision as NLLs, but that can work due to the loans not being live after the loop, or the constraint graph being simple enough that the cfg/subset relationships are the same for reachability and liveness.
- linked-list cursor-like patterns - issue-46589 These are known-bugs for the polonius alpha, where they show the same imprecision as NLLs, but are supported by the old datalog implementation.
also add a note to `GenericArgs::truncate_to`
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
some clauses can be merged together without requiring an attribute for each trait derived. also manually impl `Eq` because the `derive_where` generated code is too much for my comfort
Co-authored-by: Florian Bartels <108917393+flba-eb@users.noreply.github.com> Co-authored-by: Mads Marquart <mads@marquart.dk>
This (poorly named) target option controls whether or not cdylibs will export mangled rust symbols rather than just unmangled symbols. Presumably at some point in the past support for this wasn't implemented yet for Solaris, but cg_ssa::back::linker does have handling for this on Solaris now. And one of the Solaris target maintainers confirmed that building Rust with this option enabled works fine for them on Solaris.
rustdoc has its own issue template now, mention that. swap the order of the last two sentances so it reads more like a typical if/else chain (base case listed last). adjust some labels and descriptions
|
@bors r+ rollup=never p=5 |
|
@bors try jobs=test-various,dist-ohos-x86_64 |
Rollup of 21 pull requests try-job: test-various try-job: dist-ohos-x86_64
|
The job Click to see the possible cause of the failure (guessed by this bot) |
|
Huh, something is failing tidy. @bors r- |
|
The job Click to see the possible cause of the failure (guessed by this bot) |
|
💔 Test failed (CI). Failed jobs:
|
Successful merges:
const_ops#143949 (Constify remaining traits/impls forconst_ops)tests/ui/issues/: The Issues Strike Back [4/N] #144403 (tests/ui/issues/: The Issues Strike Back [4/N])ILL_FORMED_ATTRIBUTE_INPUTin dependencies #144544 (Start reporting future breakage forILL_FORMED_ATTRIBUTE_INPUTin dependencies)ERROR_EXIT_CODEconstant in rustdoc #144739 (Use new public libtestERROR_EXIT_CODEconstant in rustdoc)/machine:arm64ecwhen linking LLVM as Arm64EC #145129 ([win][arm64ec] Add/machine:arm64ecwhen linking LLVM as Arm64EC)duration_constructors_litefeature #145135 (Stabilizeduration_constructors_litefeature)derive_morerefactors #145145 (somederive_morerefactors)TraitRef::from_methodtofrom_assoc#145147 (renameTraitRef::from_methodtofrom_assoc)eq_ignore_ascii_caseto avoid heap alloc indetect_confuse_type#145152 (Useto_ascii_lowercaseto avoid heap alloc indetect_confuse_type)#[allow_internal_unsafe]to the new attribute system (attempt 2) #145155 (Port#[allow_internal_unsafe]to the new attribute system (attempt 2))build-dirin bootstrap #145156 (Override custom Cargobuild-dirin bootstrap){BTree,Hash}Map: add "EntryAPI" section heading #145162 ({BTree,Hash}Map: add "EntryAPI" section heading)r? @ghost
@rustbot modify labels: rollup
Create a similar rollup