Can rustc prove this? [ proposal ]