Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/macroElabRulesIssue2.lean.expected.out
blob: aea0f1d1ca13eadd538dcdb2f5285b8d84a99f8e [file] [edit]
simple
macroElabRulesIssue2.lean:22:2-22:12: error: Failed at elab_rules