Can rustc prove this? [ proposal ]

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