test for bug with canonicalization of union self type
proposed fix for nontermination resulting from union self type arg