Skip to content

Commit 1cb183f

Browse files
committed
Remove At::eq_structurally_relating_aliases.
It's unused.
1 parent 6516aaa commit 1cb183f

File tree

1 file changed

+0
-22
lines changed
  • compiler/rustc_infer/src/infer

1 file changed

+0
-22
lines changed

compiler/rustc_infer/src/infer/at.rs

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -186,28 +186,6 @@ impl<'a, 'tcx> At<'a, 'tcx> {
186186
})
187187
}
188188

189-
/// Equates `expected` and `found` while structurally relating aliases.
190-
/// This should only be used inside of the next generation trait solver
191-
/// when relating rigid aliases.
192-
pub fn eq_structurally_relating_aliases<T>(
193-
self,
194-
expected: T,
195-
actual: T,
196-
) -> InferResult<'tcx, ()>
197-
where
198-
T: ToTrace<'tcx>,
199-
{
200-
assert!(self.infcx.next_trait_solver());
201-
let mut fields = CombineFields::new(
202-
self.infcx,
203-
ToTrace::to_trace(self.cause, expected, actual),
204-
self.param_env,
205-
DefineOpaqueTypes::Yes,
206-
);
207-
fields.equate(StructurallyRelateAliases::Yes).relate(expected, actual)?;
208-
Ok(InferOk { value: (), obligations: fields.into_obligations() })
209-
}
210-
211189
pub fn relate<T>(
212190
self,
213191
define_opaque_types: DefineOpaqueTypes,

0 commit comments

Comments
 (0)