Expand description
Detecting diagnostic items.
Diagnostic items are items that are not language-inherent, but can reasonably be expected to exist for diagnostic purposes. This allows diagnostic authors to refer to specific items directly, without having to guess module paths and crates. Examples are:
-
Traits like
Debug
, that have no bearing on language semantics -
Compiler internal types like
Ty
andTyCtxt