pub struct P; | |
pub struct Q; | |
pub struct R<T>(T); | |
// returns test | |
pub fn alef() -> &'static [R<P>] { | |
loop {} | |
} | |
pub fn bet() -> R<[Q; 32]> { | |
loop {} | |
} | |
// in_args test | |
pub fn alpha(_x: R<&'static [P]>) { | |
loop {} | |
} | |
pub fn beta(_x: [R<Q>; 32]) { | |
loop {} | |
} | |
pub trait TraitCat {} | |
pub trait TraitDog {} | |
pub fn gamma<T: TraitCat + TraitDog>(t: [T; 32]) {} | |
pub fn epsilon<T: TraitCat + TraitDog>(t: &[T]) {} |