Samuel Chassot

this was in response to this issue: https://github.com/scala/scala3/issues/16704

I'll continue to look into it, but for now I don't know how to solve this.

No, it's not. We had a look with Mario some time ago, and it is not easy to change to a warning. When do you mean when you say "beforehand"?...

Hey! This is discussed here in my PR, https://github.com/epfl-lara/inox/pull/209, as I tried to bump to Scala 3.3.3 along with Stainless. Given this issue, for now we decided to leave it...

> This also seems to only happen for that single instance (and commenting it out leads to a successful compile) suggesting that the error is isolated, and not a more...

NP! Okay, sounds good! Thanks :)

The main point is to add Inox as a submodule of the Stainless repository so that Inox's source is part of the Stainless repository. Pros: Given how tightly coupled Inox...

The conflict came from the new warning added to say we don't support Scala 2 anymore, which happened to be in the same spot as the warning about the git...

TODO: - [x] add tests - [x] update doc to add the new phase