pub(crate) fn local_binding_is_unresolvable(
    binding: &Local
) -> Result<(bool, Option<String>), Error>
Expand description

Attempts to detect if the value of an assignment is resolvable without runtime interposition.

By “unresolvable” here we mean a value that cannot be directly resolved to a concrete value by the user within the context of a nanotransaction – this includes resolving invariant pointers into concrete references (requires runtime interposition), or any argument that is the result of a nando_spawn!().