Boxy

misc cleanups from debugging something

1

rename `instantiate_canonical_with_fresh_inference_vars` to have `_and_placeholders` on the end as the substs for the canonical are not solely infer vars as that would be wildly wrong and it is rather confusing...

move lcnrs leak check fcp to dev guide

1

mostly opening this for myself to remember once I get back from zurich

Pydantic side of reusing validators and serializers

3

## Change Summary Python side of pydantic/pydantic-core#1414, implements a new core schema variant for reusing schema, validators, and serializers for some sizeable performance wins *right now* and also lots of...

OR patterns in `let` chains are formatted without indentation

1

```rust let hir = tcx.hir(); if let Some(body_id) = tcx.hir_node_by_def_id(def_id).body_id() { tcx.arena.alloc_from_iter(hir.body_param_names(body_id)) } else if let Node::TraitItem(&TraitItem { kind: TraitItemKind::Fn(_, TraitFn::Required(idents)), .. }) | Node::ForeignItem(&ForeignItem { kind: ForeignItemKind::Fn(_, idents, _),...

Introduce a schema variant to reuse Validators, Serializers and CoreSchema

2

Introduces a `nested` `CoreSchema` variant that reuses the specified model's schema/validator/serializer. As an example, the core schema for the following pydantic models: ```python class A(BaseModel): field3: 'B' class B(BaseModel): field1:...

rustdoc query cycle regression

8

I believe this caused a regression on nightly. See https://github.com/aya-rs/aya/actions/runs/15223453504/job/42822502727. ``` Documenting aya-log-ebpf v0.1.1 (/home/runner/work/aya/aya/ebpf/aya-log-ebpf) error[E0391]: cycle detected when computing revealed normalized predicates of `aya_ebpf::EbpfContext::command::{constant#0}` --> /home/runner/work/aya/aya/ebpf/aya-ebpf/src/lib.rs:42:38 | 42 |...

Document inferred const args (`feature(generic_arg_infer)`)

12

Tracking: https://github.com/rust-lang/rust/issues/85077 Stabilization: https://github.com/rust-lang/rust/pull/141610 Stabilization report: https://github.com/rust-lang/rust/pull/141610#issuecomment-2910505867

Least-Upper-Bound coercions don't document special behaviour of coercing to fnptrs

1

```rust fn foo() {} fn bar() {} let a = match true { true => foo, false => bar, }; ``` Here we wind up with a LUB coercion between...

After both #10246 and pydantic/pydantic-core#1414 land we will have a rudimentary setup for reusing core schema of referenced models, along with their validators and serializers. #10246 contains a fairly length...

This issue is intended to be used as a bit of a central thread for my ongoing work to write a bunch of docs for type system stuff and make...