Can rustc prove this? [ proposal ]

Topic		Replies	Views	Activity
Pre-RFC: Implementation-defined Lints language design	14	1295	January 21, 2021
Next steps for RLS, Rustc, and IDE support compiler	20	4397	November 6, 2018
Towards a Stable Compiler API and Custom Lints	27	2884	August 5, 2021
Discussion: guidelines (or rules!) for annotating types for readability	21	2160	September 21, 2019
Towards a second edition of the compiler compiler	37	19569	December 23, 2017