warn when landing in an non-supported syntax

[LuKuangChen]

Scala 3, for example. We don't do type inference so the types might be incorrect