Skip to content

Commit bb1afa1

Browse files
committed
add some debug logging to collect
1 parent 10a8940 commit bb1afa1

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

src/librustc_typeck/collect.rs

+6-2
Original file line numberDiff line numberDiff line change
@@ -1618,6 +1618,7 @@ fn predicates_defined_on<'a, 'tcx>(
16181618
.predicates
16191619
.extend(inferred_outlives.iter().map(|&p| (p, span)));
16201620
}
1621+
debug!("predicates_defined_on({:?}) = {:?}", def_id, result);
16211622
result
16221623
}
16231624

@@ -1645,6 +1646,7 @@ fn predicates_of<'a, 'tcx>(
16451646
.predicates
16461647
.push((ty::TraitRef::identity(tcx, def_id).to_predicate(), span));
16471648
}
1649+
debug!("predicates_of(def_id={:?}) = {:?}", def_id, result);
16481650
result
16491651
}
16501652

@@ -1972,10 +1974,12 @@ fn explicit_predicates_of<'a, 'tcx>(
19721974
);
19731975
}
19741976

1975-
Lrc::new(ty::GenericPredicates {
1977+
let result = Lrc::new(ty::GenericPredicates {
19761978
parent: generics.parent,
19771979
predicates,
1978-
})
1980+
});
1981+
debug!("explicit_predicates_of(def_id={:?}) = {:?}", def_id, result);
1982+
result
19791983
}
19801984

19811985
pub enum SizedByDefault {

0 commit comments

Comments
 (0)