Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/badBinderName.lean.expected.out
blob: 12ea748372cf305f9c7a53ec51a5bb53832e9bc3 [file] [edit]
badBinderName.lean:8:6-8:10: error: invalid binder name 'X.mk', it must be atomic