Michael Goulet

Introduce `core::marker::Tuple` to properly type-check `extern "rust-call"` calls

4

# Proposal Introduce `core::marker::Tuple` as a (for now, perma-unstable) builtin marker trait that is auto-implemented for all tuples, and require that calls to (and probably other related operations, like ptr...

Add let_cxx_vector to construct CxxVector on stack

1

Implement `let_cxx_vector` macro, very similarly to `let_cxx_string`, to enable constructing a `CxxVector` on the stack. Helps with calling methods that take `std::vector` as an out variable.

Mention `as_mut` alongside `as_ref` in borrowck error message

1

Kinda fixes #99426 but I guess that really might be better staying open to see if we could make it suggest `as_mut` in a structured way. Not sure how to...

Some `FulfillmentContext`-related cleanups

6

Use `ObligationCtxt` in some places, remove some `FulfillmentContext`s in others... r? types

Fix `ReErased` leaking into typeck due to `typeof(...)` recovery

1

Fixes #100183

Implement `std::marker::Tuple`, use it in `extern "rust-call"` and `Fn`-family traits

6

Implements rust-lang/compiler-team#537 I made a few opinionated decisions in this implementation, specifically: 1. Enforcing `extern "rust-call"` on fn items during wfcheck, 2. Enforcing this for all functions (not just ones...

Delay formatting trimmed path until lint/error is emitted

2

Fixes #99387 r? @davidtwco

Add fake return to improve span on type error in `tracing::instrument`

10

## Motivation Return type errors on instrumented async functions are a bit vague, since the type error originates within the macro itself due to the indirection of additional `async {}`...

Be careful about `expr_ty_adjusted` when noting block tail type

3

Fixes #101623

Do not register placeholder `RegionOutlives` obligations when `considering_regions` is false

9

**NOTE:** I'm kinda just putting this up for discussion. I'm not certain this is correct...? This was introduced in [`608625d`](https://github.com/rust-lang/rust/commit/608625dae95cde00e4570eb6c2d63b2244bbf34c#diff-6e54b18681342ec725d75591dbf384ad08cd73df29db00485fe51b4e90f76ff7R361). Interestingly, we only check `data.has_placeholders()` for `RegionOutlives`, and not for...