Currently we call is_stable_typed inside register_internal, both of which to DFS traversals of the data. This results in quadratic traversal of the value trees when registering.
Instead, the result of is_stable_typed could be returned alongside the TCBoxedVal from register_internal, making this traversal linear again.
Description
Currently we call
is_stable_typedinsideregister_internal, both of which to DFS traversals of the data. This results in quadratic traversal of the value trees when registering.Instead, the result of
is_stable_typedcould be returned alongside theTCBoxedValfromregister_internal, making this traversal linear again.Spec