@@ -16,7 +16,7 @@ use abi::{HasDataLayout, LayoutOf, TyLayout, TyLayoutMethods};
16
16
fn is_homogeneous_aggregate < ' a , Ty , C > ( cx : C , arg : & mut ArgType < ' a , Ty > )
17
17
-> Option < Uniform >
18
18
where Ty : TyLayoutMethods < ' a , C > + Copy ,
19
- C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
19
+ C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
20
20
{
21
21
arg. layout . homogeneous_aggregate ( cx) . and_then ( |unit| {
22
22
// Ensure we have at most eight uniquely addressable members.
@@ -41,9 +41,9 @@ fn is_homogeneous_aggregate<'a, Ty, C>(cx: C, arg: &mut ArgType<'a, Ty>)
41
41
} )
42
42
}
43
43
44
- fn classify_ret_ty < ' a , Ty , C > ( cx : C , ret : & mut ArgType < ' a , Ty > )
44
+ fn classify_ret_ty < ' a , Ty , C > ( cx : C , ret : & mut ArgType < ' a , Ty > )
45
45
where Ty : TyLayoutMethods < ' a , C > + Copy ,
46
- C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
46
+ C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
47
47
{
48
48
if !ret. layout . is_aggregate ( ) {
49
49
ret. extend_integer_width_to ( 64 ) ;
@@ -78,9 +78,9 @@ fn classify_ret_ty<'a, Ty, C>(cx: C, ret: &mut ArgType<'a, Ty>)
78
78
ret. make_indirect ( ) ;
79
79
}
80
80
81
- fn classify_arg_ty < ' a , Ty , C > ( cx : C , arg : & mut ArgType < ' a , Ty > )
81
+ fn classify_arg_ty < ' a , Ty , C > ( cx : C , arg : & mut ArgType < ' a , Ty > )
82
82
where Ty : TyLayoutMethods < ' a , C > + Copy ,
83
- C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
83
+ C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
84
84
{
85
85
if !arg. layout . is_aggregate ( ) {
86
86
arg. extend_integer_width_to ( 64 ) ;
@@ -104,9 +104,9 @@ fn classify_arg_ty<'a, Ty, C>(cx: C, arg: &mut ArgType<'a, Ty>)
104
104
} ) ;
105
105
}
106
106
107
- pub fn compute_abi_info < ' a , Ty , C > ( cx : C , fty : & mut FnType < ' a , Ty > )
107
+ pub fn compute_abi_info < ' a , Ty , C > ( cx : C , fty : & mut FnType < ' a , Ty > )
108
108
where Ty : TyLayoutMethods < ' a , C > + Copy ,
109
- C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
109
+ C : LayoutOf < Ty = Ty , TyLayout = TyLayout < ' a , Ty > > + HasDataLayout
110
110
{
111
111
if !fty. ret . is_ignore ( ) {
112
112
classify_ret_ty ( cx, & mut fty. ret ) ;
0 commit comments