This method inspects the callee's instructions, finding out the most restrictive accessibility implied by them.
This method inspects the callee's instructions, finding out the most restrictive accessibility implied by them.
Rather than giving up upon encountering an access to a private field p
, it provisorily admits p
as "can-be-made-public", provided:
p
is being compiled as part of this compilation run, andp
is synthetic or param-accessor.This method is side-effect free, in particular it lets the invoker decide
whether the accessibility of the toBecomePublic
fields should be changed or not.
(iMethodInfo: StringAdd).self
(iMethodInfo: StringFormat).self
(iMethodInfo: ArrowAssoc[IMethodInfo]).x
(Since version 2.10.0) Use leftOfArrow
instead
(iMethodInfo: Ensuring[IMethodInfo]).x
(Since version 2.10.0) Use resultOfEnsuring
instead