user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

run rustfmt

Browse source
This commit is contained in:
Oli Scherer 2022-01-31 16:44:26 +00:00
parent 59d0bff0e6
commit ee2158f1ee
1 changed files with 9 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

16
compiler/rustc_infer/src/infer/opaque_types.rs
View file

@ -554,13 +554,15 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
ty_op: |ty| match *ty.kind() {
// We can't normalize associated types from `rustc_infer`,
// but we can eagerly register inference variables for them.
ty::Projection(projection_ty) if !projection_ty.has_escaping_bound_vars() => self.infer_projection(
param_env,
projection_ty,
cause.clone(),
0,
&mut obligations,
),
ty::Projection(projection_ty) if !projection_ty.has_escaping_bound_vars() => {
self.infer_projection(
param_env,
projection_ty,
cause.clone(),
0,
&mut obligations,
)
}
// Replace all other mentions of the same opaque type with the hidden type,
// as the bounds must hold on the hidden type after all.
ty::Opaque(def_id2, substs2) if def_id == def_id2 && substs == substs2 => {