@@ -154,18 +154,24 @@ fn overlap<'cx, 'tcx>(
154
154
} )
155
155
}
156
156
157
- fn overlap_within_probe (
157
+ fn overlap_within_probe < ' cx , ' tcx > (
158
158
selcx : & mut SelectionContext < ' cx , ' tcx > ,
159
159
skip_leak_check : SkipLeakCheck ,
160
160
a_def_id : DefId ,
161
161
b_def_id : DefId ,
162
162
snapshot : & CombinedSnapshot < ' _ , ' tcx > ,
163
163
) -> Option < OverlapResult < ' tcx > > {
164
- fn loose_check ( selcx : & mut SelectionContext < ' cx , ' tcx > , o : & PredicateObligation < ' tcx > ) -> bool {
164
+ fn loose_check < ' cx , ' tcx > (
165
+ selcx : & mut SelectionContext < ' cx , ' tcx > ,
166
+ o : & PredicateObligation < ' tcx > ,
167
+ ) -> bool {
165
168
!selcx. predicate_may_hold_fatal ( o)
166
169
}
167
170
168
- fn strict_check ( selcx : & SelectionContext < ' cx , ' tcx > , o : & PredicateObligation < ' tcx > ) -> bool {
171
+ fn strict_check < ' cx , ' tcx > (
172
+ selcx : & SelectionContext < ' cx , ' tcx > ,
173
+ o : & PredicateObligation < ' tcx > ,
174
+ ) -> bool {
169
175
let infcx = selcx. infcx ( ) ;
170
176
let tcx = infcx. tcx ;
171
177
o. flip_polarity ( tcx)
@@ -518,7 +524,11 @@ fn orphan_check_trait_ref<'tcx>(
518
524
/// - for `Foo<u32>`, where `Foo` is a local type, this returns `[]`.
519
525
/// - `&mut u32` returns `[u32]`, as `&mut` is a fundamental type, similar to `Box`.
520
526
/// - `Box<Foo<u32>>` returns `[]`, as `Box` is a fundamental type and `Foo` is local.
521
- fn contained_non_local_types ( tcx : TyCtxt < ' tcx > , ty : Ty < ' tcx > , in_crate : InCrate ) -> Vec < Ty < ' tcx > > {
527
+ fn contained_non_local_types < ' tcx > (
528
+ tcx : TyCtxt < ' tcx > ,
529
+ ty : Ty < ' tcx > ,
530
+ in_crate : InCrate ,
531
+ ) -> Vec < Ty < ' tcx > > {
522
532
if ty_is_local_constructor ( ty, in_crate) {
523
533
Vec :: new ( )
524
534
} else {
@@ -534,7 +544,7 @@ fn contained_non_local_types(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>, in_crate: InCrate)
534
544
/// For `#[fundamental]` ADTs and `&T` / `&mut T`, returns `Some` with the
535
545
/// type parameters of the ADT, or `T`, respectively. For non-fundamental
536
546
/// types, returns `None`.
537
- fn fundamental_ty_inner_tys (
547
+ fn fundamental_ty_inner_tys < ' tcx > (
538
548
tcx : TyCtxt < ' tcx > ,
539
549
ty : Ty < ' tcx > ,
540
550
) -> Option < impl Iterator < Item = Ty < ' tcx > > > {
0 commit comments