Labels

• bug
• build
• cleanup
• dependencies

  Pull requests that update a dependency file
• discussion
• editor

  Everything concerning the analysis binary
• ENHANCE:ERROR_MESSAGE
• enhancement
• experiment
• ffi
• good first task
• help wanted
• infrastructure
• need feedback
• optimization
• performance
• platform-dependent
• playground
• priority:high
• rust

  Pull requests that update rust code
• stale

  Old issues that went stale
• stdlib
• syntax