autodiff: generate TypeTree metadata for extractvalue

[ZuseZ4]

Further improvements after #158333

This is the first time that we actually generate enough typetree information to make autodiff succed in compiling a previously failing build.

[rust-log-analyzer]

The job tidy failed! Check out the build log: (web) (plain enhanced) (plain)

Click to see the possible cause of the failure (guessed by this bot)

[TIMING:end] tool::ToolBuild { build_compiler: Compiler { stage: 0, host: x86_64-unknown-linux-gnu, forced_compiler: false }, target: x86_64-unknown-linux-gnu, tool: "tidy", path: "src/tools/tidy", mode: ToolBootstrap, source_type: InTree, extra_features: [], allow_features: "", cargo_args: [], artifact_kind: Binary } -- 57.637
[TIMING:end] tool::Tidy { compiler: Compiler { stage: 0, host: x86_64-unknown-linux-gnu, forced_compiler: false }, target: x86_64-unknown-linux-gnu } -- 0.000
fmt check
Diff in /checkout/compiler/rustc_codegen_ssa/src/mir/statement.rs:1:
+use rustc_ast::expand::typetree::{FncTree, TypeTree};
 use rustc_middle::mir::{self, NonDivergingIntrinsic, StmtDebugInfo};
+use rustc_middle::ty::typetree::typetree_from_ty;
 use rustc_middle::{bug, span_bug, ty};
 use tracing::instrument;
 
Diff in /checkout/compiler/rustc_codegen_ssa/src/mir/statement.rs:5:
-use rustc_ast::expand::typetree::{TypeTree, FncTree};
-use rustc_middle::ty::typetree::typetree_from_ty;
-
-
 use super::{FunctionCx, LocalRef};
 use crate::mir::retag;
 use crate::traits::*;
Diff in /checkout/compiler/rustc_codegen_ssa/src/mir/statement.rs:117:
 
                 let tt = typetree_from_ty(bx.tcx(), pointee).add_indirection();
                 dbg!(&tt);
-                let fnc_tree = FncTree {
-                    args: vec![tt.clone(), tt],
-                    ret: TypeTree::new(),
-                };
+                let fnc_tree = FncTree { args: vec![tt.clone(), tt], ret: TypeTree::new() };
 
                 bx.memcpy(dst, align, src, align, bytes, crate::MemFlags::empty(), Some(fnc_tree));
             }
Diff in /checkout/tests/run-make/autodiff/type-trees/iter2/asdf.rs:1:
 #![feature(autodiff)]
 use std::autodiff::*;
 use std::f64::consts::FRAC_PI_6;
+
 use ndarray::arr1;
 
 #[autodiff_forward(da_args, Dual, Dual)]
Diff in /checkout/tests/run-make/autodiff/type-trees/iter2/asdf.rs:13:
     let m = arr1(&[2.001829]);
     let sigma = arr1(&[3.618353]);
     let epsilon_k = arr1(&[208.1101]);
-    
+
     // ... as does this ...
     //let m = vec![2.001829];
     //let sigma = vec![3.618353];
Diff in /checkout/tests/run-make/autodiff/type-trees/iter2/asdf.rs:26:
 
     let n = moles.len();
     let t_inv = temperature.recip();
-    let diameter: Vec<f64> = (0..n)
-        .map(|i| -((t_inv * -3.0 * epsilon_k[i]).exp() * 0.12 - 1.0) * sigma[i])
-        .collect();
+    let diameter: Vec<f64> =
+        (0..n).map(|i| -((t_inv * -3.0 * epsilon_k[i]).exp() * 0.12 - 1.0) * sigma[i]).collect();
 
     //let partial_density: Vec<f64> = moles.iter().cloned().map(|n| n / volume).collect(); // <- works
     let partial_density: Vec<f64> = moles.iter().map(|&n| n / volume).collect(); // <- crashes
Diff in /checkout/tests/run-make/autodiff/type-trees/iter2/asdf.rs:56:
 fn main() {
     let t = 250.0;
     let v = 1000.0;
-        
+
     let seed = &[1.0, 0.0, 0.0]; // first entry is temperature
     let da_dt_enz_args = da_args(&[t, v, 1.0], seed);
     dbg!(&da_dt_enz_args);
fmt: checked 6972 files
Bootstrap failed while executing `test src/tools/tidy tidyselftest --extra-checks=py,cpp,js,spellcheck`
Build completed unsuccessfully in 0:01:34
  local time: Tue Jun 30 13:40:29 UTC 2026
  network time: Tue, 30 Jun 2026 13:40:29 GMT

[ZuseZ4]

"Don't put a typetree in there" (quote @saethlin)

View changes since the review

[ZuseZ4]

Walk the stacktrace, figure out where it's coming from. Presumably RawVec and some slice functions.