Reviewed-by: darcy
Types.isSubtypeUnchecked() should handle type-variables subtyping properly Reviewed-by: jjg