in src/main/java/org/jetbrains/jetCheck/Scenario.java [100:108]
private <T> T safeGenerate(GenerationEnvironment data, Generator<T> generator) {
try {
return data.generate(generator);
}
catch (CannotRestoreValue e) { //todo test for evil intermediate code hiding this exception, also CannotSatisfyCondition
addFailure(e);
throw e;
}
}