instrument QueryNormalizer::fold_ty

This commit is contained in:
Bastian Kauschke 2020-11-16 10:48:31 +01:00
parent 603ab5bd6e
commit dcc194ce2f

View file

@ -97,6 +97,7 @@ impl<'cx, 'tcx> TypeFolder<'tcx> for QueryNormalizer<'cx, 'tcx> {
self.infcx.tcx
}
#[instrument(skip(self))]
fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx> {
if !ty.has_projections() {
return ty;