@@ -85,16 +85,8 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
85
85
/// to get more type information.
86
86
// FIXME(-Ztrait-solver=next): A lot of the calls to this method should
87
87
// probably be `try_structurally_resolve_type` or `structurally_resolve_type` instead.
88
- pub ( in super :: super ) fn resolve_vars_with_obligations ( & self , ty : Ty < ' tcx > ) -> Ty < ' tcx > {
89
- self . resolve_vars_with_obligations_and_mutate_fulfillment ( ty, |_| { } )
90
- }
91
-
92
- #[ instrument( skip( self , mutate_fulfillment_errors) , level = "debug" , ret) ]
93
- pub ( in super :: super ) fn resolve_vars_with_obligations_and_mutate_fulfillment (
94
- & self ,
95
- mut ty : Ty < ' tcx > ,
96
- mutate_fulfillment_errors : impl Fn ( & mut Vec < traits:: FulfillmentError < ' tcx > > ) ,
97
- ) -> Ty < ' tcx > {
88
+ #[ instrument( skip( self ) , level = "debug" , ret) ]
89
+ pub ( in super :: super ) fn resolve_vars_with_obligations ( & self , mut ty : Ty < ' tcx > ) -> Ty < ' tcx > {
98
90
// No Infer()? Nothing needs doing.
99
91
if !ty. has_non_region_infer ( ) {
100
92
debug ! ( "no inference var, nothing needs doing" ) ;
@@ -112,7 +104,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
112
104
// possible. This can help substantially when there are
113
105
// indirect dependencies that don't seem worth tracking
114
106
// precisely.
115
- self . select_obligations_where_possible ( mutate_fulfillment_errors ) ;
107
+ self . select_obligations_where_possible ( |_| { } ) ;
116
108
self . resolve_vars_if_possible ( ty)
117
109
}
118
110
0 commit comments