and-let* does not support type annotations?
I may be confused about the usage of type annotations but there seems to at least be some inconsistency in how they are treated by let and and-let* in Kawa. The example below illustrates the issue.
$ cat w.scm
(import (kawa base)
(scheme write)
(srfi 2))
(write (and-let* ((x :: int
1))
x))
(newline)
$ kawa w.scm
w.scm:5:20: expected a variable name
$ cat w1.scm
(import (kawa base)
(scheme write)
(srfi 2))
(write (let ((x :: int
1))
x))
(newline)
$ kawa w1.scm
1
$ kawa --version
Kawa 3.1.1 (git describe: 3.1.1-11-ga5f9754b6-dirty)
Copyright (C) 2020 Per Bothner
$ java -version
openjdk version "1.8.0_242"
OpenJDK Runtime Environment (build 1.8.0_242-8u242-b08-1~deb9u1-b08)
OpenJDK 64-Bit Server VM (build 25.242-b08, mixed mode)
$