Reviewed-by: darcy
Redundant subtyping test during type-inference ends up in rejecting legal code Reviewed-by: jjg