A type annotation checks a value and replaces its inferred type; satisfies in 4.9 checks it and keeps the narrow one. This removes the constant tension between validating…
A baseline entry is historical debt and needs no justification; an ignore is a claim that the analyser is wrong and does. reportUnmatchedIgnoredErrors is on by default and…
Without the flag, a malformed document returns null, which is indistinguishable from a document containing the literal null. The ambiguity is the whole problem: a decode that returns…