Function bad_rtn 

pub(crate) fn bad_rtn(
    ctx: &DiagnosticsContext<'_, '_>,
    d: &BadRtn,
) -> Diagnostic