Anton Korobeynikov 0b235a7aac [AutoDiff[ Preserve substitutions maps while calculating derivative types (#65451) ...

The substituon map might contain proper specialization (e.g. t_0_0 -> Double) that is required to fully specify a derivate type (e.g. during reabstraction conversion from fully specified function type to a substituted one)

Fixes #65073

2023-04-26 23:11:15 -07:00

1.7 KiB

Raw Permalink Blame History

View Raw