fix(checker): file-qualified diagnostics, autoload span identities and preludes, checker cost - #1921

fix(checker): file-qualified diagnostics, autoload span identities and preludes, checker cost#1921

nahime0 merged 8 commits into

illegalstudio:mainillegalstudio/elephc:mainfrom

JGamboa:fix/checker-driver-cost-and-diagnosticsJGamboa/elephc:fix/checker-driver-cost-and-diagnosticsCopy head branch name to clipboard