• Hi! I just took a look at the tests for the proof plugin, but I didn't understand, what it is about. Could somebody tell me, what usecases there are for Proofs / what it does? Thx.
r
raulraja
12/27/2021, 8:33 PM
Hi @Oliver Eisenbarth, The proofs plugin is a facility for implicits / compile time DI injections and type conversions. We are going to rewrite in FIR when it’s available in the compiler after 1.6.20