Infer empty list/map type in other contexts than variable declaration

[giann]

[num] numbers = [];
{str, str} map = {};

fun count([str] list) > num -> list.len();

count([]) == 0;

[giann]

Infer in other contexts:

• function arguments
• object properties
• dot assignment