@@ -31,7 +31,7 @@ enum UniverseInfoInner<'tcx> {
3131 Other ,
3232}
3333
34- impl UniverseInfo < ' tcx > {
34+ impl < ' tcx > UniverseInfo < ' tcx > {
3535 crate fn other ( ) -> UniverseInfo < ' tcx > {
3636 UniverseInfo ( UniverseInfoInner :: Other )
3737 }
@@ -191,7 +191,7 @@ struct PredicateQuery<'tcx> {
191191 base_universe : ty:: UniverseIndex ,
192192}
193193
194- impl TypeOpInfo < ' tcx > for PredicateQuery < ' tcx > {
194+ impl < ' tcx > TypeOpInfo < ' tcx > for PredicateQuery < ' tcx > {
195195 fn fallback_error ( & self , tcx : TyCtxt < ' tcx > , span : Span ) -> DiagnosticBuilder < ' tcx > {
196196 let mut err = tcx. sess . struct_span_err ( span, "higher-ranked lifetime error" ) ;
197197 err. note ( & format ! ( "could not prove {}" , self . canonical_query. value. value. predicate) ) ;
@@ -231,7 +231,7 @@ struct NormalizeQuery<'tcx, T> {
231231 base_universe : ty:: UniverseIndex ,
232232}
233233
234- impl < T > TypeOpInfo < ' tcx > for NormalizeQuery < ' tcx , T >
234+ impl < ' tcx , T > TypeOpInfo < ' tcx > for NormalizeQuery < ' tcx , T >
235235where
236236 T : Copy + fmt:: Display + TypeFoldable < ' tcx > + ' tcx ,
237237{
@@ -291,7 +291,7 @@ struct AscribeUserTypeQuery<'tcx> {
291291 base_universe : ty:: UniverseIndex ,
292292}
293293
294- impl TypeOpInfo < ' tcx > for AscribeUserTypeQuery < ' tcx > {
294+ impl < ' tcx > TypeOpInfo < ' tcx > for AscribeUserTypeQuery < ' tcx > {
295295 fn fallback_error ( & self , tcx : TyCtxt < ' tcx > , span : Span ) -> DiagnosticBuilder < ' tcx > {
296296 // FIXME: This error message isn't great, but it doesn't show up in the existing UI tests,
297297 // and is only the fallback when the nice error fails. Consider improving this some more.
0 commit comments