julia

97c853a4 - `AbstractInterpreter`: allow overload of `type_annotate!` (#46554)

`AbstractInterpreter`: allow overload of `type_annotate!` (#46554) So that external `AbstractInterpreter`s observe the DCE on type-inferred code based on reachability analysis of abstract interpretation. This is especially useful for Cthulhu to show collected remarks layered on DCE-ed `CodeInfo` object.