blob: 8c016f5083d249c13d8e29176087e24f5b15824c [file] [log] [blame] [edit]
//@ compile-flags: -Zunpretty=hir
//@ check-pass
#![expect(incomplete_features)]
#![allow(dead_code)]
#![attr = Feature([min_generic_const_args#0, adt_const_params#0])]
extern crate std;
#[attr = PreludeImport]
use ::std::prelude::rust_2015::*;
use std::marker::ConstParamTy;
struct Point(u32, u32);
struct Point3();
struct Point1 {
a: u32,
b: u32,
}
struct Point2 {
}
fn with_point<const P: Point>() { }
fn with_point1<const P: Point1>() { }
fn with_point2<const P: Point2>() { }
fn with_point3<const P: Point3>() { }
fn test<const N:
u32>() {
with_point::<Point(N, N)>();
with_point1::<Point1 { a: N, b: N}>();
with_point2::<Point2 {}>();
with_point3::<Point3()>();
}
fn main() { }