// namespace: Compile // expectation: Fail // input_files: // - input/dummy.in import core.unstable.blake2s.BadCircuit; // `BadCircuit` is not included in the blake2s package function main() -> bool { return false; }