Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/expose-array-back/./tests/elab/defaultInstBacktrackIssue.lean.out.expected
blob: 20f267f21674a31a1a0c3c0a646199f08f916bd2 [file] [edit]
defaultInstBacktrackIssue.lean:18:0-18:7: warning: declaration uses `sorry`
defaultInstBacktrackIssue.lean:20:0-20:7: warning: declaration uses `sorry`
defaultInstBacktrackIssue.lean:24:0-24:7: warning: declaration uses `sorry`
defaultInstBacktrackIssue.lean:26:0-26:7: warning: declaration uses `sorry`