Normalize possibly unnormalized type in relate_type_and_user_type

Author: compiler-errors

compiler/rustc_borrowck/src/type_check/mod.rs

@@ -482,6 +482,7 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
         }
         trace!(?curr_projected_ty);
 
+        let a = self.normalize(a, locations);
         let ty = self.normalize(curr_projected_ty.ty, locations);
         self.relate_types(ty, v.xform(ty::Contravariant), a, locations, category)?;