rednaxelafx commented on pull request #30570:
URL: https://github.com/apache/spark/pull/30570#issuecomment-737392973


   Late LGTM, thank you very much for helping to make the semantics more 
explicit! It's nice to have a marker trait for `NoThrow`.
   
   I had been thinking about the constraint expressions like `KnownNotNull` 
that wraps around an existing expression, but that's for dynamically annotating 
an expression for extra properties. In the case of `NoThrow`, it's statically 
known from the type so an empty marker trait as-is makes more sense.


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
[email protected]



---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]

Reply via email to