Skip to content

Properly handle Fat-ptr to Fat-ptr casts#62

Merged
danielsn merged 3 commits into
main-2021-04-09from
fat-ptr-cast
Apr 14, 2021
Merged

Properly handle Fat-ptr to Fat-ptr casts#62
danielsn merged 3 commits into
main-2021-04-09from
fat-ptr-cast

Assign statements now always type-check. Remove the special casing fo…

b97d833
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs