Update for promotion changes #35
Description
I hear desugaring of promotion is changing, so it's less like static and more like const. So I guess https://github.com/rust-lang/const-eval/blob/master/promotion.md should be updated.