add a version of code_typed
that accepts a function type
#36389
+44
−4
Merged