Skip to content

Commit 2183738

Browse files
committed
Remove At::eq_structurally_relating_aliases.
It's unused.
1 parent 1d71891 commit 2183738

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
@@ -187,28 +187,6 @@ impl<'a, 'tcx> At<'a, 'tcx> {
187187
})
188188
}
189189

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

0 commit comments

Comments
 (0)