0.1.12

Minor Analysis Improvements

• Type inference has been extended to support pattern matching.
• Call resolution for calls to associated functions has been improved, so it now disambiguates the targets based on type information at the call sites (either type information about the arguments or about the expected return types).
• Type inference has been improved for for loops and range expressions, which improves call resolution and may ultimately lead to more query results.
• Implemented support for data flow through trait functions. For the purpose of data flow, calls to trait functions dispatch to all possible implementations.
• AssocItem and ExternItem are now proper subclasses of Item.
• Added type inference for for loops and array expressions.