Skip to content
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 10 pull requests #122472

Closed
wants to merge 43 commits into from
Closed

Commits on Mar 1, 2024

  1. Give TRACK_DIAGNOSTIC a return value.

    This means `DiagCtxtInner::emit_diagnostic` can return its result
    directly, rather than having to modify a local variable.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    bf62d59 View commit details
    Browse the repository at this point in the history
  2. Inline and remove Level::get_diagnostic_id.

    It has a single call site, and this will enable subsequent refactorings.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    ecd3718 View commit details
    Browse the repository at this point in the history
  3. Move DelayedBug handling into the match.

    It results in a tiny bit of duplication (another
    `self.treat_next_err_as_bug()` condition) but I think it's worth it to
    get more code into the main `match`.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    272e60b View commit details
    Browse the repository at this point in the history
  4. Reorder has_future_breakage handling.

    This will enable additional refactorings.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    c81767e View commit details
    Browse the repository at this point in the history
  5. Move Expect/ForceWarning handling into the match.

    Note that `self.suppressed_expected_diag` is no longer set for
    `ForceWarning`, which is good. Nor is `TRACK_DIAGNOSTIC` called for
    `Allow`, which is also good.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    aec4bdb View commit details
    Browse the repository at this point in the history
  6. Add comments about TRACK_DIAGNOSTIC use.

    Also add an assertion for the levels allowed with `has_future_breakage`.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    a7d9262 View commit details
    Browse the repository at this point in the history
  7. Make the match in emit_diagnostic complete.

    This match is complex enough that it's a good idea to enumerate every
    variant.
    
    This also means `can_be_top_or_sub` can just be `can_be_subdiag`.
    nnethercote committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    7ef605b View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Configuration menu
    Copy the full SHA
    71080dd View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Avoid closing invalid handles

    dylni committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    a82587c View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. Add CStr::bytes iterator

    clarfonthey committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    15b71f4 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. rustdoc-search: parse and search with ML-style HOF

    Option::map, for example, looks like this:
    
        option<t>, (t -> u) -> option<u>
    
    This syntax searches all of the HOFs in Rust: traits Fn, FnOnce,
    and FnMut, and bare fn primitives.
    notriddle committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    7f427f8 View commit details
    Browse the repository at this point in the history
  2. rustdoc: clean up search.js by removing empty sort case

    It's going to be a no-op on the empty list anyway
    (we have plenty of test cases that return nothing)
    so why send extra code?
    notriddle committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    d38527e View commit details
    Browse the repository at this point in the history
  3. rustdoc: use const for the special type name ids

    Initialize them before the search index is loaded.
    notriddle committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    23e931f View commit details
    Browse the repository at this point in the history
  4. rustdoc-search: add search query syntax Fn(T) -> U

    This is implemented, in addition to the ML-style one,
    because Rust does it. If we don't, we'll never hear the end of it.
    
    This commit also refactors some duplicate parts of the parser
    into a dedicated function.
    notriddle committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    7b92655 View commit details
    Browse the repository at this point in the history
  5. Add methods to create constants

    I've been experimenting with transforming the StableMIR to instrument
    the code with potential UB checks. The modified body will only
    be used by our analysis tool, however, constants in StableMIR must be
    backed by rustc constants. Thus, I'm adding a few functions to build
    constants, such as building string and other primitives.
    celinval committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    c076509 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    893a910 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    dd0f41f View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    a38a556 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Improve Step docs

    CAD97 committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    c527ec7 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    90acda1 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    f10ebfe View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    44b1f8a View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    31fa142 View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    71ef9e2 View commit details
    Browse the repository at this point in the history
  7. Move generate_stacktrace_from_stack away from InterpCx to avoid havin…

    …g to know the `Machine` type
    oli-obk committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    bd7580b View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    7aee665 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    ffaf082 View commit details
    Browse the repository at this point in the history
  10. Configuration menu
    Copy the full SHA
    66a46bb View commit details
    Browse the repository at this point in the history
  11. Configuration menu
    Copy the full SHA
    af59eec View commit details
    Browse the repository at this point in the history
  12. Configuration menu
    Copy the full SHA
    2a1a6fa View commit details
    Browse the repository at this point in the history
  13. Rename some things around validation error reporting to signal that i…

    …t is in fact about validation failures
    oli-obk committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    3393227 View commit details
    Browse the repository at this point in the history
  14. Configuration menu
    Copy the full SHA
    be33586 View commit details
    Browse the repository at this point in the history
  15. Configuration menu
    Copy the full SHA
    d3cab9f View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. Rollup merge of rust-lang#104353 - clarfonthey:cstr-bytes-iter, r=cuv…

    …iper
    
    Add CStr::bytes iterator
    
    See rust-lang/libs-team#135 for an ACP.
    
    Since rust-lang/libs-team#134 was also accepted, this type is now `core::ffi::c_str::Bytes` instead of `core::ffi::CStrBytes`.
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    be248f8 View commit details
    Browse the repository at this point in the history
  2. Rollup merge of rust-lang#119029 - dylni:avoid-closing-invalid-handle…

    …s, r=ChrisDenton
    
    Avoid closing invalid handles
    
    Documentation for [`HandleOrInvalid`] has this note:
    
    > If holds a handle other than `INVALID_HANDLE_VALUE`, it will close the handle on drop.
    
    Documentation for [`HandleOrNull`] has this note:
    
    > If this holds a non-null handle, it will close the handle on drop.
    
    Currently, both will call `CloseHandle` on their invalid handles as a result of using `OwnedHandle` internally, contradicting the above paragraphs. This PR adds destructors that match the documentation.
    
    `@rustbot` label A-io O-windows T-libs
    
    [`HandleOrInvalid`]: https://doc.rust-lang.org/std/os/windows/io/struct.HandleOrInvalid.html
    [`HandleOrNull`]: https://doc.rust-lang.org/std/os/windows/io/struct.HandleOrNull.html
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    5161634 View commit details
    Browse the repository at this point in the history
  3. Rollup merge of rust-lang#119676 - notriddle:notriddle/rustdoc-search…

    …-hof, r=GuillaumeGomez
    
    rustdoc-search: search types by higher-order functions
    
    This feature extends rustdoc with syntax and search index information for searching function pointers and closures (Higher-Order Functions, or HOF). Part of rust-lang#60485
    
    This PR adds two syntaxes: a high-level one for finding any kind of HOF, and a direct implementation of the parenthesized path syntax that Rust itself uses.
    
    ## Preview pages
    
    | Query | Results |
    |-------|---------|
    | [`option<T>, (fnonce (T) -> bool) -> option<T>`][optionfilter] | `Option::filter` |
    | [`option<T>, (T -> bool) -> option<T>`][optionfilter2] | `Option::filter` |
    
    Updated chapter of the book: https://notriddle.com/rustdoc-html-demo-9/search-hof/rustdoc/read-documentation/search.html
    
    [optionfilter]: https://notriddle.com/rustdoc-html-demo-9/search-hof/std/vec/struct.Vec.html?search=option<T>%2C+(fnonce+(T)+->+bool)+->+option<T>&filter-crate=std
    [optionfilter2]: https://notriddle.com/rustdoc-html-demo-9/search-hof/std/vec/struct.Vec.html?search=option<T>%2C+(T+->+bool)+->+option<T>&filter-crate=std
    
    ## Motivation
    
    When type-based search was first landed, it was directly [described as incomplete][a comment].
    
    [a comment]: rust-lang#23289 (comment)
    
    Filling out the missing functionality is going to mean adding support for more of Rust's [type expression] syntax, such as references, raw pointers, function pointers, and closures. This PR adds function pointers and closures.
    
    [type expression]: https://doc.rust-lang.org/reference/types.html#type-expressions
    
    There's been demand for something "like Hoogle, but for Rust" expressed a few times [1](https://www.reddit.com/r/rust/comments/y8sbid/is_there_a_website_like_haskells_hoogle_for_rust/) [2](https://users.rust-lang.org/t/rust-equivalent-of-haskells-hoogle/102280) [3](https://internals.rust-lang.org/t/std-library-inclusion-policy/6852/2) [4](https://discord.com/channels/442252698964721669/448238009733742612/1109502307495858216). Some of them just don't realize what functionality already exists ([`Duration -> u64`](https://doc.rust-lang.org/nightly/std/?search=duration%20-%3E%20u64) already works), but a lot of them specifically want to search for higher-order functions like option combinators.
    
    ## Guide-level explanation (from the Rustdoc book)
    
    To search for a function that accepts a function as a parameter, like `Iterator::all`, wrap the nested signature in parenthesis, as in [`Iterator<T>, (T -> bool) -> bool`][iterator-all]. You can also search for a specific closure trait, such as `Iterator<T>, (FnMut(T) -> bool) -> bool`, but you need to know which one you want.
    
    [iterator-all]: https://notriddle.com/rustdoc-html-demo-9/search-hof/std/vec/struct.Vec.html?search=Iterator<T>%2C+(T+->+bool)+->+bool&filter-crate=std
    
    ## Reference-level description (also from the Rustdoc book)
    
    ### Primitives with Special Syntax
    
    <table>
    <thead>
      <tr>
        <th>Shorthand</th>
        <th>Explicit names</th>
      </tr>
    </thead>
    <tbody>
      <tr><td colspan="2">Before this PR</td></tr>
      <tr>
        <td><code>[]</code></td>
        <td><code>primitive:slice</code> and/or <code>primitive:array</code></td>
      </tr>
      <tr>
        <td><code>[T]</code></td>
        <td><code>primitive:slice&lt;T&gt;</code> and/or <code>primitive:array&lt;T&gt;</code></td>
      </tr>
      <tr>
        <td><code>!</code></td>
        <td><code>primitive:never</code></td>
      </tr>
      <tr>
        <td><code>()</code></td>
        <td><code>primitive:unit</code> and/or <code>primitive:tuple</code></td>
      </tr>
      <tr>
        <td><code>(T)</code></td>
        <td><code>T</code></td>
      </tr>
      <tr>
        <td><code>(T,)</code></td>
        <td><code>primitive:tuple&lt;T&gt;</code></td>
      </tr>
      <tr><td colspan="2">After this PR</td></tr>
      <tr>
        <td><code>(T, U -> V, W)</code></td>
        <td><code>fn(T, U) -> (V, W)</code>, Fn, FnMut, and FnOnce</td>
      </tr>
    </tbody>
    </table>
    
    The `->` operator has lower precedence than comma. If it's not wrapped in brackets, it delimits the return value for the function being searched for. To search for functions that take functions as parameters, use parenthesis.
    
    ### Search query grammar
    
    ```ebnf
    ident = *(ALPHA / DIGIT / "_")
    path = ident *(DOUBLE-COLON ident) [BANG]
    slice-like = OPEN-SQUARE-BRACKET [ nonempty-arg-list ] CLOSE-SQUARE-BRACKET
    tuple-like = OPEN-PAREN [ nonempty-arg-list ] CLOSE-PAREN
    arg = [type-filter *WS COLON *WS] (path [generics] / slice-like / tuple-like)
    type-sep = COMMA/WS *(COMMA/WS)
    nonempty-arg-list = *(type-sep) arg *(type-sep arg) *(type-sep) [ return-args ]
    generic-arg-list = *(type-sep) arg [ EQUAL arg ] *(type-sep arg [ EQUAL arg ]) *(type-sep)
    normal-generics = OPEN-ANGLE-BRACKET [ generic-arg-list ] *(type-sep)
                CLOSE-ANGLE-BRACKET
    fn-like-generics = OPEN-PAREN [ nonempty-arg-list ] CLOSE-PAREN [ RETURN-ARROW arg ]
    generics = normal-generics / fn-like-generics
    return-args = RETURN-ARROW *(type-sep) nonempty-arg-list
    
    exact-search = [type-filter *WS COLON] [ RETURN-ARROW ] *WS QUOTE ident QUOTE [ generics ]
    type-search = [ nonempty-arg-list ]
    
    query = *WS (exact-search / type-search) *WS
    
    ; unchanged parts of the grammar, like the full list of type filters, are omitted
    ```
    
    ## Future direction
    
    ### The remaining type expression grammar
    
    As described in rust-lang#118194, this is another step in the type expression grammar: BareFunction, and the function-like mode of TypePath, are now supported.
    
    * RawPointerType and ReferenceType actually are a priority.
    * ImplTraitType and TraitObjectType (and ImplTraitTypeOneBound and TraitObjectTypeOneBound) aren't as much of a priority, since they desugar pretty easily.
    
    ### Search subtyping and traits
    
    This is the other major factor that makes it less useful than it should be.
    
    * `iterator<result<t>> -> result<t>` doesn't find `Result::from_iter`. You have to search [`intoiterator<result<t>> -> result<t>`](https://notriddle.com/rustdoc-html-demo-9/search-hof/std/vec/struct.Vec.html?search=intoiterator%3Cresult%3Ct%3E%3E%20-%3E%20result%3Ct%3E&filter-crate=std). Nobody's going to search for IntoIterator unless they basically already know about it and don't need the search engine anyway.
    
    * Iterator combinators are usually structs that happen to implement Iterator, like `std::iter::Map`.
    
    To solve these cases, it needs to look at trait implementations, knowing that Iterator is a "subtype of" IntoIterator, and Map is a "subtype of" Iterator, so `iterator -> result` is a subtype of `intoiterator -> result` and `iterator<t>, (t -> u) -> iterator<u>` is a subtype of [`iterator<t>, (t -> u) -> map<t -> u>`](https://notriddle.com/rustdoc-html-demo-9/search-hof/std/vec/struct.Vec.html?search=iterator%3Ct%3E%2C%20(t%20-%3E%20u)%20-%3E%20map%3Ct%20-%3E%20u%3E&filter-crate=std).
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    206f550 View commit details
    Browse the repository at this point in the history
  4. Rollup merge of rust-lang#120699 - nnethercote:rm-useless-TRACK_DIAGN…

    …OSTIC-calls, r=oli-obk
    
    Document `TRACK_DIAGNOSTIC` calls.
    
    r? `````@cjgillot`````
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    eab8823 View commit details
    Browse the repository at this point in the history
  5. Rollup merge of rust-lang#121899 - shepmaster:dead-code-docs, r=wesle…

    …ywiser
    
    Document how removing a type's field can be bad and what to do instead
    
    Related to rust-lang#119645
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    8721f0b View commit details
    Browse the repository at this point in the history
  6. Rollup merge of rust-lang#122397 - oli-obk:machine-read-hook2, r=Ralf…

    …Jung
    
    Various cleanups around the const eval query providers
    
    r? `````@RalfJung`````
    
    after this, working on running validation before interning starts with swapping the order of two lines of code
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    26ab7f6 View commit details
    Browse the repository at this point in the history
  7. Rollup merge of rust-lang#122405 - celinval:smir-new-const, r=oli-obk

    Add methods to create StableMIR constant
    
    I've been experimenting with transforming the StableMIR to instrument the code with potential UB checks.
    
    The modified body will only be used by our analysis tool, however, constants in StableMIR must be backed by rustc constants. Thus, I'm adding a few functions to build constants, such as building string and other primitives.
    
    One question I have is whether we should create a global allocation instead for strings.
    
    r? ````@oli-obk````
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    16997d6 View commit details
    Browse the repository at this point in the history
  8. Rollup merge of rust-lang#122406 - compiler-errors:next-solver-asynck…

    …ind-wf, r=lcnr
    
    Fix WF for `AsyncFnKindHelper` in new trait solver
    
    `to_opt_closure_kind` ICEs when it sees placeholders... so don't do that
    
    no test b/c I'm too lazy to write a no-core test for this, but I could be convinced otherwise
    
    r? lcnr
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    136f313 View commit details
    Browse the repository at this point in the history
  9. Rollup merge of rust-lang#122421 - CAD97:step-trait-docs, r=jhpratt

    Improve `Step` docs
    
    It [came up on urlo](https://users.rust-lang.org/t/implement-trait-step-in-1-76-0/108204?u=cad97) that the unstable reason string isn't helpful, so just remove it; there's nothing meaningful to add here.
    
    Also makes a couple drive-by improvements to the method docs -- removes incorrect references, changes `forward_checked`'s invariant formulation to match `backward_checked`'s, and adds a helpful corollary that `step_unchecked(a, 0)` is always safe.
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f559417 View commit details
    Browse the repository at this point in the history
  10. Rollup merge of rust-lang#122461 - the8472:fix-step-forward-unchecked…

    …, r=Amanieu
    
    fix unsoundness in Step::forward_unchecked for signed integers
    
    Fixes rust-lang#122420
    
    ```rust
    pub fn foo(a: i8, b: u8) -> i8 {
        unsafe { a.checked_add_unsigned(b).unwrap_unchecked() }
    }
    ```
    
    still compiles down to a single arithmetic instruction ([godbolt](https://rust.godbolt.org/z/qsd3xYWfE)).
    
    But we may be losing some loop optimizations if llvm can no longer easily derive that it's a finite counted loop from the no-wrapping flags.
    jhpratt authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    2d1b091 View commit details
    Browse the repository at this point in the history