Can rustc prove this? [ proposal ]

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