0.535

Analysis changes

• Implement support for unknown / never types (RFC #434)
• Improve type inference for higher order generic functions
• Improve type checking for combinations of intersections and generics
• Fix a bug where type arena ownership invariant could be violated, causing stability issues
• Fix a bug where internal type error could be presented to the user
• string.gmatch now infers returned types based on the pattern when using a literal

Runtime changes

• Fix a bug with negative zero in vector components when using vectors as table keys
• Slightly reduce interpreter I$ footprint

Community contributions

• Fix op used when stringifying AstExprIndexName by @JohnnyMorganz in #572
• Store resolved types in astResolvedTypes by @JohnnyMorganz in #574
• Use syntheticName for stringified MetatableTypeVar by @JohnnyMorganz in #563