opam install --check does not check whether dependencies are installed recursively

[kit-ty-kate]

If a dependency is added or changed in the dependency tree of the package being tested with --check, then the change won't be detected.

Example:

$ cat ./a.opam
opam-version: "2.0"
depends: ["b"]
$ cat ./b.opam
opam-version: "2.0"
$ cat ./c.opam
opam-version: "2.0"
$ opam pin add -yn .
$ opam install ./b.opam
$ opam install --check ./a.opam
All dependencies installed
$ echo 'depends: ["c"]' >> ./b.opam
$ opam pin add -yn .
$ opam install --check ./a.opam