@@ -1835,10 +1835,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
1835
1835
for & ( ref ty, ref default) in & defaults_to_apply {
1836
1836
// We should NEVER process anything but a TyInfer.
1837
1837
assert ! ( match ty. sty { ty:: TyInfer ( _) => true , _ => false } ) ;
1838
+
1838
1839
match default {
1839
1840
& Default :: User ( ref user_default) => {
1840
- debug ! ( "select_all_obligations_and_apply_defaults: ty: {:?} with default: {:?}" ,
1841
- ty, default ) ;
1841
+ debug ! ( "select_all_obligations_and_apply_defaults: \
1842
+ ty: {:?} with default: {:?}" , ty, default ) ;
1842
1843
1843
1844
has_user_default. insert ( ( * ty, user_default. clone ( ) ) ) ;
1844
1845
} ,
@@ -1958,9 +1959,9 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
1958
1959
// table then apply defaults until we find a conflict. That default must be the one
1959
1960
// that caused conflict earlier.
1960
1961
fn find_conflicting_default ( & self ,
1961
- tys_with_defaults : & HashSet < ( Ty < ' tcx > , type_variable:: UserDefault < ' tcx > ) > ,
1962
- conflict : & ( Ty < ' tcx > , type_variable:: UserDefault < ' tcx > ) )
1963
- -> Option < type_variable:: UserDefault < ' tcx > > {
1962
+ tys_with_defaults : & HashSet < ( Ty < ' tcx > , type_variable:: UserDefault < ' tcx > ) > ,
1963
+ conflict : & ( Ty < ' tcx > , type_variable:: UserDefault < ' tcx > ) )
1964
+ -> Option < type_variable:: UserDefault < ' tcx > > {
1964
1965
// Ensure that we apply the conflicting default first
1965
1966
let mut unbound_tyvars = Vec :: with_capacity ( tys_with_defaults. len ( ) + 1 ) ;
1966
1967
unbound_tyvars. push ( conflict) ;
0 commit comments