blob: b0c21ffaeb997d8618ce32855f11a384a6ee8a8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#![feature(effects, const_trait_impl)]
#[const_trait]
pub trait Resource {}
pub const fn load<R: ~const Resource>() -> i32 {
0
}
pub const fn lock<R: Resource>() {}
#[allow(non_upper_case_globals)]
pub trait Clash<const host: u64> {}
#[allow(non_upper_case_globals)]
pub const fn clash<T: Clash<host>, const host: u64>() {}
|