Can rustc prove this? [ proposal ]

Topic		Replies	Views	Activity
Pre-RFC: Implementation-defined Lints language design	15	1072	April 21, 2021
Next steps for RLS, Rustc, and IDE support compiler	21	4064	March 25, 2019
Towards a Stable Compiler API and Custom Lints	28	2534	November 3, 2021
Discussion: guidelines (or rules!) for annotating types for readability	22	1844	December 20, 2019
Towards a second edition of the compiler compiler	38	18835	March 25, 2019