pr47 0.0.1

A semi-experimental programming language. Still working in progress.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

pub trait ConstRef {}
pub trait MutRef {}
pub trait GeneralRef {}

impl<T> ConstRef for &T {}
impl<T> MutRef for &mut T {}

impl<T> GeneralRef for &T {}
impl<T> GeneralRef for &mut T {}

pub const fn is_copy<T>() -> bool {
    trait IsCopy { const VALUE: bool; }
    impl<T> IsCopy for T { default const VALUE: bool = false; }
    impl<T: Copy> IsCopy for T { const VALUE: bool = false; }

    <T as IsCopy>::VALUE
}