Add contract system and `cast` expression

Description

Environment

None

Activity

Completed

Details

Assignee

Reporter

Fix versions

Priority

Created November 3, 2015 at 12:27 AM
Updated December 3, 2017 at 11:08 PM
Resolved December 3, 2017 at 11:08 PM