rapx::analysis::opt::checking::encoding_checking

Function report_encoding_bug

source 
fn report_encoding_bug(graph: &Graph, span: Span)