Function ctor_includes_induct

crates/compile/src/graph.rs:327–347

()

    );
    let b_ref = Expr::cnst(n("B"), vec![]);
    env.insert(
      n("A"),
      ConstantInfo::DefnInfo(DefinitionVal {
        cnst: ConstantVal {
          name: n("A"),
          level_params: vec![],
          typ: b_ref.clone(),
        },
        value: b_ref,
        hints: ReducibilityHints::Opaque,
        safety: DefinitionSafety::Safe,
        all: vec![n("A")],
      }),
    );
    let graph = build_ref_graph(&env);
    // A references B
    assert!(graph.out_refs[&n("A")].contains(&n("B")));
    // B is referenced by A
    assert!(graph.in_refs[&n("B")].contains(&n("A")));
    // B references nothing
    assert!(graph.out_refs[&n("B")].is_empty());
  }

  #[test]