#![feature(inline_const)]

fn main() {
    const { 2 } - const { 1 };
    //~^ ERROR mismatched types
}