Skip to content

[WIP][Backend] Add explicit coercions

Robert Zhang requested to merge 0xrobertzhang/dcs:explicit-coercions into dcs-explicit-coercions

Explicit conversions from subtypes to supertypes based on subtyping axioms.

Merge request reports