Function meta_single_component_name

crates/kernel/src/id.rs:141–145

()

  #[test]
  fn meta_single_component_name() {
    let id = KId::<Meta>::new(mk_addr("x"), mk_name("Nat"));
    let s = format!("{id}");
    assert!(s.starts_with("Nat@"), "got '{s}'");
  }

  #[test]
  fn anon_shows_hash_only() {