Skip to content

Error if an autodiff user does not set lto=fat#148855

Merged
bors merged 2 commits intorust-lang:mainfrom
ZuseZ4:autodiff-lto-error
Nov 17, 2025
Merged

Error if an autodiff user does not set lto=fat#148855
bors merged 2 commits intorust-lang:mainfrom
ZuseZ4:autodiff-lto-error

Commits