make CallInfo propagate effects

[aviatesk]

Add call_effects(::CallInfo) -> Effects feature to the CallInfo interface. This change will make it easier for the inlining algorithm to see the effects of a call in question.

This commit also setups new ModifyFieldInfo callinfo type so that it can propagate modifyfield!-specific information to the inliner, which implements a special handling for the call.

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[fingolfin]

(Super nerdy nitpick, please feel free to ignore and don't kill me about it; but this is a pet peeve of mine..: "setup" is a noun; the corresponding verb is "set up". So "e.g. "This commit sets up ..." instead of "This commit setups" ; but "This is an elaborate setup"... ;-)

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.