idris-1.1.0: test/interactive015/expected

test (Just x) = ?Nothing_rhs_1

test : Maybe a -> Bool
test Nothing = False
test (Just x) = ?Nothing_rhs_1