Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Found suspicious comparison of constants
  • Loading branch information
oli-obk committed Feb 2, 2022
1 parent bbbdcb3 commit 4e1a596
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions compiler/rustc_borrowck/src/type_check/relate_tys.rs
Expand Up @@ -117,6 +117,9 @@ impl<'tcx> TypeRelatingDelegate<'tcx> for NllTypeRelatingDelegate<'_, '_, 'tcx>

// We don't have to worry about the equality of consts during borrow checking
// as consts always have a static lifetime.
// FIXME(oli-obk): is this really true? We can at least have HKL and with
// inline consts we may have further lifetimes that may be unsound to treat as
// 'static.
fn const_equate(&mut self, _a: &'tcx Const<'tcx>, _b: &'tcx Const<'tcx>) {}

fn normalization() -> NormalizationStrategy {
Expand Down

0 comments on commit 4e1a596

Please sign in to comment.