don't just compare ty::Const

2021-07-19 12:13:25 +02:00 · 2021-07-19 12:13:25 +02:00 · 2140016d6c
commit 2140016d6c
parent ab9108b70f
3 changed files with 46 additions and 0 deletions
--- a/compiler/rustc_infer/src/infer/combine.rs
+++ b/compiler/rustc_infer/src/infer/combine.rs
@ -129,6 +129,8 @@ impl<'infcx, 'tcx> InferCtxt<'infcx, 'tcx> {
    where
        R: ConstEquateRelation<'tcx>,
    {
+        let a = self.tcx.expose_default_const_substs(a);
+        let b = self.tcx.expose_default_const_substs(b);
        debug!("{}.consts({:?}, {:?})", relation.tag(), a, b);
        if a == b {
            return Ok(a);