Agda-2.3.2.2: test/fail/AbstractBlockInLet.agda

module MutualBlockInLet where

postulate 
  A : Set
  a : A

test = let abstract
             x = a
             y = x
       in y