Proposal: Add InvocationKind.LAZY to contracts to ...

# language-proposals

[jdemeulenaere]

Proposal: Add InvocationKind.LAZY to contracts to specify that a lambda parameter will not be called before its declared method has returned.
Use case: See sample code at https://pastebin.com/8TFJH437

[Dico]

This is somewhat interesting. Not a very strong use case, and callsInPlace does not apply to the lambda, so the api should probably be different

[Dico]

You can do this (without compile time checks) on instance variables

[karelpeeters]

Maybe callsInPlace(builder, InvocationKind.NEVER) is a better name then "lazy"?