This fixes a bug where zero_alloc and modality variables could sneak into value descriptions in signatures in a disallowed way via with module constraints. See the test for an example. These computed signatures are very much like module type of signatures, so we just take the same approach.
There are two commits: The first adds the test and shows it fails. The second fixes it.
This fixes a bug where zero_alloc and modality variables could sneak into value descriptions in signatures in a disallowed way via
with moduleconstraints. See the test for an example. These computed signatures are very much likemodule type ofsignatures, so we just take the same approach.There are two commits: The first adds the test and shows it fails. The second fixes it.