File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed
Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -90,9 +90,9 @@ fn check_arguments<'tcx>(
9090
9191 if let ty:: FnDef ( def_id, generic_args) = type_definition. kind ( )
9292 // if there are any bound vars, just give up... we might be able to be smarter here
93- && let Some ( fn_sig ) = type_definition. fn_sig ( tcx) . no_bound_vars ( )
93+ && let Some ( sig ) = type_definition. sig ( tcx) . no_bound_vars ( )
9494 {
95- let parameters = fn_sig . inputs ( ) ;
95+ let parameters = sig . inputs ( ) ;
9696
9797 let _bounds = tcx. param_env ( def_id) . caller_bounds ( ) ;
9898 // dbg!(bounds);
@@ -104,12 +104,12 @@ fn check_arguments<'tcx>(
104104 // since we'd need to suggest changing both parameters that using it at once,
105105 // which might not be possible
106106 . filter ( |g| {
107- let inputs_and_output = fn_sig . inputs ( ) . iter ( ) . copied ( ) . chain ( [ fn_sig . output ( ) ] ) ;
107+ let inputs_and_output = sig . inputs ( ) . iter ( ) . copied ( ) . chain ( [ sig . output ( ) ] ) ;
108108 inputs_and_output. filter ( |i| i. contains ( * g) ) . count ( ) < 2
109109 } )
110110 // don't want to mess with the output type, since that probably has some additional
111111 // restrictions imposed from the outside, which we don't want to bother checking
112- . filter ( |g| !fn_sig . output ( ) . contains ( * g) )
112+ . filter ( |g| !sig . output ( ) . contains ( * g) )
113113 . collect ( ) ;
114114 dbg ! ( & generic_args_we_can_change) ;
115115
You can’t perform that action at this time.
0 commit comments