Binder-related crash when instantiating structure in type alias

[R1kM]

The following Rust code crashes when running Charon version 1bd0af9 on it

struct S1;

trait T1 {}

struct S2<U: T1> { x: U }

type S3 = S2<S1>;

with the error

error[E9999]: Cannot handle error `Unimplemented` selecting `Binder { value: <S1 as T1>, bound_vars: [] }`
  |
  = note: ⚠️ This is a bug in Hax's frontend.
          Please report this error to https://github.com/hacspec/hax/issues with some context (e.g. the current crate)!

error: Thread panicked when extracting item `test_crate::S3`.
 --> tests/ui/bug.rs:7:1
  |
7 | type S3 = S2<S1>;
  | ^^^^^^^

Note, while the error seems to be occurring in Hax's frontend, this code does not crash the current main branch of hax (288f77f0) when running on the Hax playground.

cc @W95Psp