@safe and EscAnnotationChecker.scala

Question

Closed this issue 7 years ago · 2 comments

Hi! 😃

I have read the paper related to this repository and experimented a bit with the compiler plugin.

One thing I have not fully understood is the role of the EscAnnotationChecker.scala phase. What kind of properties does this phase try to ensure?

Answer 1 · 2017-09-13T15:50:38.000Z

The annotation checker is from a previous version and no longer used.

Answer 2 · 2017-09-13T16:09:41.000Z

Thank you for the quick reply!