mirror of
https://github.com/fluencelabs/wasmer
synced 2025-05-02 13:52:13 +00:00
`Vec1` is used by `RecordType` to ensure that a record have at least 1 field. Then an `InterfaceValue::Record` is ensured to get at least one value with the type-checking pass.