idris-0.12.2: test/layout001/layout001f.idr

foo : Int -> Int
foo a = a + b
  where
    b : Int
    b = 2 +
 3