idris-0.99.2: test/totality022/expected

totality022.idr:7:3:f _ [] (RSnoc _ _) is a valid case