2023-04-24 14:14:35 -05:00
|
|
|
pub struct P;
|
|
|
|
pub struct Q;
|
|
|
|
pub struct R<T>(T);
|
|
|
|
|
|
|
|
// returns test
|
2024-06-03 02:35:56 -05:00
|
|
|
pub fn alef() -> &'static [R<P>] {
|
|
|
|
loop {}
|
|
|
|
}
|
|
|
|
pub fn bet() -> R<[Q; 32]> {
|
|
|
|
loop {}
|
|
|
|
}
|
2023-04-24 14:14:35 -05:00
|
|
|
|
|
|
|
// in_args test
|
2024-06-03 02:35:56 -05:00
|
|
|
pub fn alpha(_x: R<&'static [P]>) {
|
|
|
|
loop {}
|
|
|
|
}
|
|
|
|
pub fn beta(_x: [R<Q>; 32]) {
|
|
|
|
loop {}
|
|
|
|
}
|
2023-04-24 14:14:35 -05:00
|
|
|
|
|
|
|
pub trait TraitCat {}
|
|
|
|
pub trait TraitDog {}
|
|
|
|
|
|
|
|
pub fn gamma<T: TraitCat + TraitDog>(t: [T; 32]) {}
|
2023-05-25 14:58:36 -05:00
|
|
|
|
|
|
|
pub fn epsilon<T: TraitCat + TraitDog>(t: &[T]) {}
|