Am Fr., 18. Aug. 2023 um 21:06 Uhr schrieb <>:
Most importantly, you must never catch Exceptions instead of Errors but the current implementation does so. At the moment, we cannot even access any source files from a promise due to CurrentReadOnlySourceFiles. 

Can you please provide a concrete example for this? Maybe we can at least find a solution for this aspect quicker than for all the rest.