Function is_identifier 

pub fn is_identifier(name: &str) -> bool

Whether name lexes as a single identifier — [A-Za-z_][A-Za-z0-9_]*, the rule tokenize applies.

A [latch] name failing this could never be written inside an expression, so the loader rejects it rather than admitting a latch no binding can read.