rfcbot

[ home ]

jackh726's proposals for review

• merge: Rework negative coherence to properly consider impls that only partly overlap
  • proposal | checklist
• merge: Retire the mailing list and make all decisions on zulip
  • proposal | checklist
• merge: Support overriding `warnings` level for a specific lint via command line
  • proposal | checklist
• merge: relax leak-check
  • proposal | checklist
• merge: Add `type` field to distinguish json diagnostic outputs
  • proposal | checklist