Additional conformance tets for type relationships
unexpected error using type annotation for the result of '||' with two constrained generic type