@@ -2084,12 +2084,14 @@ fn test() {
2084
2084
struct AStruct<T: Default>(T);
2085
2085
struct AStructBuilder;
2086
2086
struct Res<T>(T);
2087
+ struct Res2<T, E>{t: T, e: E};
2087
2088
2088
2089
impl<T: Default> AStruct<T> {
2089
2090
fn fn_no_ret(&self) {}
2090
2091
fn fn_ctr_with_args(input: T) -> AStruct<T> { AStruct(input) }
2091
2092
fn fn_direct_ctr() -> Self { AStruct(<_>::default()) }
2092
2093
fn fn_ctr() -> Res<Self> { Res(Self::fn_direct_ctr()) }
2094
+ fn fn_ctr2() -> Res2<Self, u32> { Res2 { t: <_>::default(), e: 0 } }
2093
2095
fn fn_other() -> Res<u32> { Res(0) }
2094
2096
fn fn_builder() -> AStructBuilder { AStructBuilder }
2095
2097
}
@@ -2103,6 +2105,7 @@ fn test() {
2103
2105
fn fn_ctr_with_args(…) [type_could_unify]
2104
2106
fn fn_builder() [type_could_unify]
2105
2107
fn fn_ctr() [type_could_unify]
2108
+ fn fn_ctr2() [type_could_unify]
2106
2109
fn fn_other() [type_could_unify]
2107
2110
me fn_no_ret(…) [type_could_unify]
2108
2111
"# ] ] ,
@@ -2114,12 +2117,14 @@ fn test() {
2114
2117
struct AStruct<T: Default>(T);
2115
2118
struct AStructBuilder;
2116
2119
struct Res<T>(T);
2120
+ struct Res2<T, E>{t: T, e: E};
2117
2121
2118
2122
impl<T: Default> AStruct<T> {
2119
2123
fn fn_no_ret(&self) {}
2120
2124
fn fn_ctr_with_args(input: T) -> AStruct<T> { AStruct(input) }
2121
2125
fn fn_direct_ctr() -> Self { AStruct(<_>::default()) }
2122
2126
fn fn_ctr() -> Res<Self> { Res(Self::fn_direct_ctr()) }
2127
+ fn fn_ctr2() -> Res2<Self, u32> { Res2 { t: <_>::default(), e: 0 } }
2123
2128
fn fn_other() -> Res<u32> { Res(0) }
2124
2129
fn fn_builder() -> AStructBuilder { AStructBuilder }
2125
2130
}
@@ -2133,6 +2138,7 @@ fn test() {
2133
2138
fn fn_ctr_with_args(…) []
2134
2139
fn fn_builder() []
2135
2140
fn fn_ctr() []
2141
+ fn fn_ctr2() []
2136
2142
fn fn_other() []
2137
2143
me fn_no_ret(…) []
2138
2144
"# ] ] ,
0 commit comments