1fn ensure_public_decl_name(name: &str, kind: &str, line: usize) -> Res
2    if name.starts_with('_') {
3        Err(Error::new(format!("{kind} names cannot start with '_'")).
4    } else {
5        Ok(())
6    }
7}
8
9/// Rejects declaration names that would collide with built-in names.
10fn ensure_user_decl_name(name: &str, kind: &str, line: usize) -> Resul
11    if is_known_type_name(name) || is_known_category_name(name) {
12        Err(Error::new(format!("'{name}' cannot be used as a {kind} na
13    } else {
14        Ok(())
15    }
16}
17
18/// Performs `logical_source_lines` behavior.