1 2 3 4 5 6 7 8 9 10
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