Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/Array.mapIdx/./tests/lean/partialIssue.lean.expected.out
blob: 96c3fe9e1bb563ab0e0c73c0994b01794aa2908b [file] [edit]
partialIssue.lean:12:8-12:19: error: (kernel) invalid declaration, safe declaration must not contain partial declaration 'False_intro'