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

Merged

danielsn merged 3 commits into

main-2021-04-09from

Apr 14, 2021

Commits on Apr 13, 2021

Special case fat-ptr to fat-ptr casts
danielsn
committed

Commits on Apr 14, 2021

Fix issues in rvalue computation related to ADT fat pointers
danielsn
committed
Assign statements now always type-check. Remove the special casing for when they didn't
danielsn
committed