blob: c3ca136661413f57dc15dd76225999863b3fcfc1 (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
pub struct P;
pub struct Q;
pub struct R<T>(T);
// returns test
pub fn alef() -> R<P> {
loop {}
}
pub fn bet() -> R<Q> {
loop {}
}
// in_args test
pub fn alpha(_x: R<P>) {
loop {}
}
pub fn beta(_x: R<Q>) {
loop {}
}
// test case with multiple appearances of the same type
pub struct ExtraCreditStructMulti<T, U> {
t: T,
u: U,
}
pub struct ExtraCreditInnerMulti {}
pub fn extracreditlabhomework(
_param: ExtraCreditStructMulti<ExtraCreditInnerMulti, ExtraCreditInnerMulti>,
) {
loop {}
}
pub fn redherringmatchforextracredit(_param: ExtraCreditStructMulti<ExtraCreditInnerMulti, ()>) {
loop {}
}
pub trait TraitCat {}
pub trait TraitDog {}
pub fn gamma<T: TraitCat + TraitDog>(t: T) {}
pub fn super_soup(s: Result<String, i32>) -> Result<String, i32> {
s
}
|
