Stainless crashs when using type aliases

[natsukagami]

Stainless version: 0.9.7
Scala version: 3.2.0

Bug description

The following short code will crash Stainless:

import stainless.lang._
import stainless.collection._

type Index = BigInt

type LIndex = List[Index]

case class IndexedKey(index: BigInt, key: LIndex) {
  require(0 <= index && index < key.length)
}

Running stainless.sh Test.scala gives

Picked up _JAVA_OPTIONS: -Dawt.useSystemAAFontSettings=lcd
[ Error  ] Stainless terminated with an error.
[ Error  ] Debug output is available in the file `stainless-stack-trace.txt`. If the crash is caused by Stainless, you may report your issue on https://github.com/epfl-lara/stainless/issues
[ Error  ] You may use --debug=stack to have the stack trace displayed in the output.

and stainless-stack-trace.txt is included.

Note that removing the stainless.collection._ import, the require line or changing LIndex to List[Index] will fix the crash.

[vkuncak]

Here is perhaps slightly simpler example (without imports):

object Test {
  final case class Wrap[A](a: A) {
    def get: A = a
  }
  
  type WInt = Wrap[Int]

  case class IndexedKey(key: WInt) {
    require(key.get < 100)
  }  
}

May it be that the expansion of type aliases does not happen inside class invariants?