Function parse_unmatched_identifier

src/code_actions/phpstan/ignore.rs:538–544

Parse the ignored identifier from an unmatched-ignore error message. PHPStan format: `"No error with identifier is reported on line ."`

(message: &str)

///
/// PHPStan format: `"No error with identifier <id> is reported on line <N>."`
fn parse_unmatched_identifier(message: &str) -> Option<String> {
    let prefix = "No error with identifier ";
    let start = message.find(prefix)?;
    let after = &message[start + prefix.len()..];
    let end = after.find(" is reported")?;
    Some(after[..end].to_string())
}

/// Parse the line number from an unmatched-ignore error message.
///