path: root/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call

assumption
  m()
end assumption

# (assumption (@ 1 0-10)
#   (.inner
#     (macro_call (@ 2 2-3) ‘m/0’
#       (.arguments nil)
#     )
#   )
# )
# :2:2–3: error: macro call inside assumption clause
#    m()
#    ^