@@ -121,7 +121,9 @@ impl<'tcx> TypeFoldable<'tcx> for LvalueTy<'tcx> {
121
121
}
122
122
123
123
impl < ' tcx > Lvalue < ' tcx > {
124
- pub fn ty < ' a , ' gcx , D : HasLocalDecls < ' tcx > > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> LvalueTy < ' tcx > {
124
+ pub fn ty < ' a , ' gcx , D > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> LvalueTy < ' tcx >
125
+ where D : HasLocalDecls < ' tcx >
126
+ {
125
127
match * self {
126
128
Lvalue :: Local ( index) =>
127
129
LvalueTy :: Ty { ty : local_decls. local_decls ( ) [ index] . ty } ,
@@ -134,7 +136,8 @@ impl<'tcx> Lvalue<'tcx> {
134
136
}
135
137
136
138
impl < ' tcx > Rvalue < ' tcx > {
137
- pub fn ty < ' a , ' gcx , D : HasLocalDecls < ' tcx > > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> Ty < ' tcx >
139
+ pub fn ty < ' a , ' gcx , D > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> Ty < ' tcx >
140
+ where D : HasLocalDecls < ' tcx >
138
141
{
139
142
match * self {
140
143
Rvalue :: Use ( ref operand) => operand. ty ( local_decls, tcx) ,
@@ -206,7 +209,9 @@ impl<'tcx> Rvalue<'tcx> {
206
209
}
207
210
208
211
impl < ' tcx > Operand < ' tcx > {
209
- pub fn ty < ' a , ' gcx , D : HasLocalDecls < ' tcx > > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> Ty < ' tcx > {
212
+ pub fn ty < ' a , ' gcx , D > ( & self , local_decls : & D , tcx : TyCtxt < ' a , ' gcx , ' tcx > ) -> Ty < ' tcx >
213
+ where D : HasLocalDecls < ' tcx >
214
+ {
210
215
match self {
211
216
& Operand :: Consume ( ref l) => l. ty ( local_decls, tcx) . to_ty ( tcx) ,
212
217
& Operand :: Constant ( ref c) => c. ty ,
0 commit comments