inline boolean value is not simplified in some cases

[eejbyfeldt]

Compiler version

3.7.4, 3.8.0-RC1-bin-20251113-8b5d445-NIGHTLY,

Minimized code

object test {
  import scala.compiletime.erasedValue

  inline def contains[T <: Tuple, E]: Boolean = inline erasedValue[T] match {
    case _: EmptyTuple => false
    case _: (_ *: tail) => contains[tail, E]
  }
  inline def check[T <: Tuple]: Unit = {
    inline if contains[T, Long] && false then ???
  }

  check[(String, Double)]
}

Output

[error] ./inline_and.scala:12:3
[error] Cannot reduce `inline if` because its condition is not a constant value: {
[error]   {
[error]     false:Boolean
[error]   }:Boolean
[error] }:Boolean && false
[error]   check[(String, Double)]
[error]   ^^^^^^^^^^^^^^^^^^^^^^^

Expectation

The code should compile.

[mbovel]

Compiles in 3.7.2, but not 3.7.3.

[mbovel]

Bisected to 4e16a13 from #23447.

[mbovel]

Part of the problem seems to be using isEffectivelyErased vs isErased vs is(Erased) in isElideableExpr and maybe other places.

If I change to isEffectivelyErased after 4e16a13, the example compiles again. But if I do the same change on main, the example still fails, so there must be something else.