Skip to main content

format_refusal

sva_engine::overload

Function format_refusal 

Source 
pub fn format_refusal(
    call: &str,
    m: &Mismatch,
    at: Located,
    operands: &[(String, Ty)],
) -> Diagnostic
Expand description

The one producer of the three-part shape of FORMAT 7.1 and the operand-then-repair shape of 8.3: every code of section 16 reaches a diagnostic through here.