The statically-extracted contents of one variable's evidence sub-object. See runtime.VariableEvidenceDocs.
evidence
Readonly
Well-formed "path:line:column" entries from evidence.dynamicAccess, if set to an array of string literals -- a malformed entry warns and is dropped, never included here. See ADR 0037.
"path:line:column"
evidence.dynamicAccess
The statically-extracted contents of one variable's
evidencesub-object. See runtime.VariableEvidenceDocs.