blob: e4e34a26fa25e0e17c2d3abf1d48503a039e9d84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
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]) {}
|
