Function test_compile_univ_param

crates/compile/src/compile.rs:3928–3934

()

          Some(Phase::BrecOn)
        }
      },
      _ => None,
    }
  });

  let Some(phase) = phase else {
    // No aux_gen constants found — just compile as-is.
    return compile_const_inner(name, all, lean_env, cache, stt, kctx, false);
  };