// check-pass
// (this requires debug assertions)

#![feature(adt_const_params)]
#![allow(incomplete_features)]

pub const BAR: () = ice::<"">();
pub const fn ice<const N: &'static str>() {
    &10;
}

fn main() {}