original.name="Type_Invalid_8"
whiley.compile.ignore=true
WhileyCompiler.issue=885
======
>>> main.whiley
type Other is Contractive
type Contractive is Other | int
---
E401 main.whiley 1,5:9
E401 main.whiley 2,5:15