Allow clean cast from derived to base type#183

Closed

smowton wants to merge 1 commit intodiffblue:masterfrom

smowton:clean_cast_to_base_class

Commits on Jul 21, 2016

Allow clean cast from derived to base type, along the same lines as already-allowed prefix subtyping.
smowton
committed