Skip to content

Commit a648626

Browse files
committed
Remove At::eq_structurally_relating_aliases.
It's unused.
1 parent 7042c26 commit a648626

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
@@ -178,28 +178,6 @@ impl<'a, 'tcx> At<'a, 'tcx> {
178178
})
179179
}
180180

181-
/// Equates `expected` and `found` while structurally relating aliases.
182-
/// This should only be used inside of the next generation trait solver
183-
/// when relating rigid aliases.
184-
pub fn eq_structurally_relating_aliases<T>(
185-
self,
186-
expected: T,
187-
actual: T,
188-
) -> InferResult<'tcx, ()>
189-
where
190-
T: ToTrace<'tcx>,
191-
{
192-
assert!(self.infcx.next_trait_solver());
193-
let mut fields = CombineFields::new(
194-
self.infcx,
195-
ToTrace::to_trace(self.cause, true, expected, actual),
196-
self.param_env,
197-
DefineOpaqueTypes::Yes,
198-
);
199-
fields.equate(StructurallyRelateAliases::Yes).relate(expected, actual)?;
200-
Ok(InferOk { value: (), obligations: fields.into_obligations() })
201-
}
202-
203181
pub fn relate<T>(
204182
self,
205183
define_opaque_types: DefineOpaqueTypes,

0 commit comments

Comments
 (0)