Finding Type
One thing a pass had to say about a symbol: a widening, a drop, or an ergonomic rewrite. Findings are the raw material of the fidelity manifest - a silent drop is a bug by definition, so every non-Exact emission produces one of these.
Record fields
| Record Field |
Description
|
|
Which finding, with whatever detail it carries. Key, tier and message derive from it.
|
Full Usage:
Pass
Field type: string
|
The pass that produced the finding. Stamped by `Pipeline.runTier`, so passes leave it empty and cannot misreport themselves.
|
Full Usage:
Symbol
Field type: string
|
The symbol concerned, qualified from the exported name down: `Options.onlyFirst`.
|
Instance members
| Instance member |
Description
|
Full Usage:
this.Key
Returns: string
|
|
Full Usage:
this.Message
Returns: string
|
|
|