Function expr_mentions_addr_detects_proj_struct_id

crates/kernel/src/tc.rs:1724–1728

()

      mk_name("x"),
      ix_common::env::BinderInfo::Default,
      sort0(),
      KExpr::app(target, var(0)),
    );
    assert!(expr_mentions_addr(&e, &target_id.addr));
  }

  #[test]
  fn expr_mentions_addr_not_found() {