blob: aac90e44208a6f97a34005a603ecea9f8cde21e2 [file] [log] [blame]
//@ run-pass
const fn identity<const T: u32>() -> u32 { T }
#[derive(Eq, PartialEq, Debug)]
pub struct ConstU32<const U: u32>;
pub fn new() -> ConstU32<{ identity::<3>() }> {
ConstU32::<{ identity::<3>() }>
}
fn main() {
let v = new();
assert_eq!(v, ConstU32::<3>);
}