1 2 3 4 5 6 7 8
original.name="Type_Invalid_5" whiley.compile.ignore=true WhileyCompiler.issue=885 ====== >>> main.whiley type Contractive is Contractive | int --- E401 main.whiley 1,5:15