Function bytecode::reaching_def_analysis::format_reaching_def_annotation

pub fn format_reaching_def_annotation(
    target: &FunctionTarget<'_>,
    code_offset: CodeOffset
) -> Option<String>

Format a reaching definition annotation.