#![feature(inline_const_pat)]
Add type annotations to MIR so that borrowck can pass constraints from inline constants in patterns to the containing function.